Fifth International Workshop on Microprocessor Test and Verification (MTV 04) MTV-05
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By IEEE

076952320x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Debugging sequential circuits using Boolean satisfiability

2006 ◽  
Author(s):  
Moayad Fahim Ali ◽  
A. Veneris ◽  
S. Safarpour ◽  
M. Abadir ◽  
R. Drechsler ◽  
...  
Keyword(s):  
Boolean Satisfiability ◽  
Sequential Circuits

scholarly journals Extreme formal modeling (XFM) for hardware models

2006 ◽  
Author(s):  
S. Suhaib ◽  
D. Mathaikutty ◽  
S. Shukla ◽  
D. Berner
Keyword(s):  
Formal Modeling

A circuit level fault model for resistive shorts of MOS gate oxide

2006 ◽  
Author(s):  
Xiang Lu ◽  
Zhuo Li ◽  
Wangqi Qiu ◽  
D.M.H. Walker ◽  
Weiping Shi
Keyword(s):  
Gate Oxide ◽  
Fault Model ◽  
Mos Gate

Identification of gates for covering all critical paths

2006 ◽  
Author(s):  
M. Moiz Khan ◽  
S. Tragoudas ◽  
M. Abadir ◽  
B. Liu
Keyword(s):  
Critical Paths

Compact ATPG for concurrent SOC testing

2006 ◽  
Author(s):  
A. Abdulrahman ◽  
S. Tragoudas
Keyword(s):  
Soc Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document