𝔖 Bobbio Scriptorium
✦   LIBER   ✦

CMOS circuit verification with symbolic switch-level timing simulation

✍ Scribed by McDonald, C.B.; Bryant, R.E.


Book ID
119778759
Publisher
IEEE
Year
2001
Tongue
English
Weight
330 KB
Volume
20
Category
Article
ISSN
0278-0070

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Inte
✍ Hochet, Bertrand; Acosta, Antonio J.; Bellido, Manuel J. πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 English βš– 161 KB

The International Workshop on Power and Timing Modeling, Optimization, and Simulation PATMOS 2002, was the 12th in a series of international workshops 1 previously held in several places in Europe. PATMOS has over the years evolved into a well-established and outstanding series of open European even