Sciweavers

199 search results - page 6 / 40
» date 2000
Sort
View
DATE
2000
IEEE
85views Hardware» more  DATE 2000»
13 years 11 months ago
Alternative Test Methods Using IEEE 1149.4
Uros Kac, Franc Novak, Srecko Macek, Marina Santo ...
DATE
2000
IEEE
91views Hardware» more  DATE 2000»
13 years 11 months ago
A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated Circuits
Oscar Guerra, Elisenda Roca, Francisco V. Fern&aac...
DATE
2000
IEEE
71views Hardware» more  DATE 2000»
13 years 11 months ago
A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm
Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski,...
DATE
2000
IEEE
79views Hardware» more  DATE 2000»
13 years 11 months ago
Design and Test Space Exploration of Transport-Triggered Architectures
V. A. Zivkovic, Ronald J. W. T. Tangelder, Hans G....
DATE
2000
IEEE
93views Hardware» more  DATE 2000»
13 years 11 months ago
Fast Hardware-Software Coverification by Optimistic Execution of Real Processor
Sungjoo Yoo, Jong-eun Lee, Jinyong Jung, Kyungseok...