Sciweavers

62 search results - page 2 / 13
» iccad 1994
Sort
View
ICCAD
1994
IEEE
102views Hardware» more  ICCAD 1994»
13 years 9 months ago
Clock period constrained minimal buffer insertion in clock trees
Gustavo E. Téllez, Majid Sarrafzadeh
ICCAD
1994
IEEE
70views Hardware» more  ICCAD 1994»
13 years 9 months ago
Iterative algorithms for formal verification of embedded real-time systems
Felice Balarin, Alberto L. Sangiovanni-Vincentelli