2452 search results - page 405 / 491 » On Reduction of Lagrange Systems |
FMCAD
1998
Springer
14 years 2 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
ICCAD
1997
IEEE
14 years 2 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
ICCAD
1997
IEEE
14 years 2 months ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
ISER
1997
Springer
14 years 2 months ago
1997
Springer
: This paper describes experiments with an electrically actuated one legged hopping robot, the ARL Monopod. While a spring-mass system, comprised of the leg spring and the body mas...
ASWEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...