Prostředky a metody pro automatické generování testovacích obvodů

Sets of benchmark circuits, synthetic benchmark circuits, evolutionary design, testability analysis, evolutionary programming, register transfer level, digital circuits testing, circuit model, hierarchical test

In the book, a method which can be used to develop benchmark circuits with required diagnostic properties is described. The method uses genetic algorithm and represents a new approach to the process of developing benchmark circuits for diagnostic purposes. In the design, optimatization procedures are used, the structure of the circuit and diagnostic properties of components being the optimatization criteria. To assess these factors, algorithms were developed which operate on a formal model introduced in the book. Comprehensive experimental results are also presented in the book, Mentor Graphics professional tools were used for this purpose. At present, there is no available methodology in the area of evolutionary design which allows to create circuits of comparable complexity with required diagnostic properties.