Sciweavers

77016 search results - page 106 / 15404
» Modelling
Sort
View
147
Voted
GLVLSI
1999
IEEE
93views VLSI» more  GLVLSI 1999»
15 years 11 months ago
The Development of Analog SPICE Behavioral Model Based on IBIS Model
Ying Wang, Han Ngee Tan
143
Voted
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 11 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
« Prev « First page 106 / 15404 Last » Next »