B. Konorev

  • Citations Per Year
Learn More
The fault injection methods and tools are presented and analyzed. The unified procedures of software fault injection for assessment of software testing and quality verification on different development stages are proposed. Quality evaluation technique of software testing and verification is described. The results of using the developed tools(More)
Invariant-oriented approach to independent verification and validation of HDL-based projects is presented. Proposed methodology consists in identification and verification of so-called “check relations”, which can have general or specific nature. Invariants of HDL-based designs are based on features and constraints of HDL. The main tasks and(More)
  • 1