Sciweavers

1342 search results - page 12 / 269
» MEMS Design And Verification
Sort
View
CORR
2007
Springer
158views Education» more  CORR 2007»
14 years 9 months ago
Model of Electrostatic Actuated Deformable Mirror Using Strongly Coupled Electro-Mechanical Finite Element
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
V. Rochus, J.-C. Golinval, C. Louis, C. Mendez, I....
TCAD
2008
82views more  TCAD 2008»
14 years 9 months ago
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
Hao Zheng, Jared Ahrens, Tian Xia
90
Voted
DAC
2006
ACM
15 years 3 months ago
SystemC transaction level models and RTL verification
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
Stuart Swan
75
Voted
DSVIS
1998
Springer
15 years 1 months ago
The Role of Verification in Interactive Systems Design
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
José Creissac Campos, Michael D. Harrison
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 2 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki