Sciweavers

1077 search results - page 11 / 216
» integration 2000
Sort
View
DATE
2000
IEEE
91views Hardware» more  DATE 2000»
15 years 10 months ago
A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated Circuits
Oscar Guerra, Elisenda Roca, Francisco V. Fern&aac...
GLVLSI
2000
IEEE
83views VLSI» more  GLVLSI 2000»
15 years 10 months ago
Formal hardware verification by integrating HOL and MDG
V. K. Pisini, Sofiène Tahar, Paul Curzon, O...
ICDCSW
2000
IEEE
15 years 10 months ago
Integrating XML Data with Relational Databases
Wang-Chien Lee, Gail Mitchell, Xin Zhang