Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Taking into account asynchronous signals in functional test of complex circuits
DAC '84 Proceedings of the 21st Design Automation Conference
Automatic generation of microprocessor test programs
DAC '82 Proceedings of the 19th Design Automation Conference
Hi-index | 0.00 |
The GAPT project (automatic generation of test programs for microprocessors) is in its final phase. The various components of the project (method, software tools and hardware environment) are presented. A strategy to locate failures at a functional level is presented and illustred on an actual faulty circuit.