Sciweavers

11234 search results - page 106 / 2247
» A Microsurgery Simulation System
Sort
View
ITC
2002
IEEE
84views Hardware» more  ITC 2002»
15 years 11 months ago
Combining ATPG and Symbolic Simulation for Efficient Validation of Embedded Array Systems
Ganapathy Parthasarathy, Madhu K. Iyer, Tao Feng, ...
ASIAN
2000
Springer
99views Algorithms» more  ASIAN 2000»
15 years 10 months ago
On Simulation-Checking with Sequential Systems
Antonín Kucera