Sciweavers

62 search results - page 2 / 13
» iccad 1994
Sort
View
ICCAD
1994
IEEE
102views Hardware» more  ICCAD 1994»
13 years 10 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 10 months ago
Iterative algorithms for formal verification of embedded real-time systems
Felice Balarin, Alberto L. Sangiovanni-Vincentelli