Sciweavers

1342 search results - page 17 / 269
» MEMS Design And Verification
Sort
View
ISQED
2007
IEEE
114views Hardware» more  ISQED 2007»
15 years 3 months ago
Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure
Design verification has become a bottleneck of modern designs. Recently, simulation-based random verification has attracted a lot of interests due to its effectiveness in uncoveri...
Yu-Min Kuo, Cheng-Hung Lin, Chun-Yao Wang, Shih-Ch...
DATE
2007
IEEE
76views Hardware» more  DATE 2007»
15 years 4 months ago
Heterogeneous systems on chip and systems in package
This paper discusses several forms of heterogeneity in systems on chip and systems in package. A means to distinguish the various forms of heterogeneity is given, with an estimati...
I. O'Connor, B. Courtois, K. Chakrabarty, N. Delor...
CORR
2007
Springer
97views Education» more  CORR 2007»
14 years 9 months ago
Electrostatically-Driven Resonator on Soi with Improved Temperature Stability
This paper deals with a single-crystal-silicon (SCS) MEMS resonator with improved temperature stability. While simulations have shown that the temperature coefficient of resonant ...
A. Giridhar, F. Verjus, F. Marty, A. Bosseboeuf, T...
74
Voted
DFT
2009
IEEE
189views VLSI» more  DFT 2009»
15 years 4 months ago
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
Meng Zhang, Anita Lungu, Daniel J. Sorin
74
Voted
DAC
2009
ACM
15 years 4 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...