Cross-fertilizing FSM verification techniques and sequential diagnosis
EURO-DAC '92 Proceedings of the conference on European design automation
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
A state traversal algorithm using a state covariance matrix
DAC '93 Proceedings of the 30th international Design Automation Conference
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Test Generation for Multiple State-Table Faults in Finite-State Machines
IEEE Transactions on Computers
Automatic generation of synchronous test patterns for asynchronous circuits
DAC '97 Proceedings of the 34th annual Design Automation Conference
Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal
IEEE Transactions on Computers
On the Use of Fully Specified Initial States for Testing of Synchronous Sequential Circuits
IEEE Transactions on Computers
A Symbolic Algorithms for Maximum Flow in 0-1 Networks
Formal Methods in System Design
Application of Homing Sequences to Synchronous Sequential Circuit Testing
IEEE Transactions on Computers
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Sequential logic minimization based on functional testability
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Improved sequential ATPG using functional observation information and new justification methods
EDTC '95 Proceedings of the 1995 European conference on Design and Test
On Full Reset as a Design-For-Testability Technique
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
On the Detection of Reset Faults in Synchronous Sequential Circuits
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Full symbolic ATPG for large circuits
ITC'94 Proceedings of the 1994 international conference on Test
Hi-index | 0.01 |