4299 search results - page 582 / 860 » Concurrent Test Generation |
123
click to vote
VLSID
1998
IEEE
15 years 8 months ago
1998
IEEE
A partial scan selection strategy is proposed in which flip-flops are selected via newly proposed dynamic reachability and observability measures such that the remaining hard-to-d...
156
click to vote
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
138
click to vote
SEE
1997
Springer
15 years 8 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
126
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
122
click to vote
ICLP
1992
Springer
15 years 8 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...