8 search results - page 2 / 2 » On Efficient Concurrent Fault Simulation for Synchronous Seq... |
VTS
2003
IEEE
13 years 11 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
FORTE
1998
13 years 7 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
DATE
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper we propose an efficient transient test generation method to comprehensively test analog circuits using minimum test time. A divide and conquer strategy is formulated...