Search Sciweavers | Sciweavers

1342 search results - page 39 / 269

» MEMS Design And Verification

136

click to vote

ICCAD
1998
IEEE

87views Hardware» more ICCAD 1998»

Full-chip verification of UDSM designs

15 years 10 months ago

Download www.cs.york.ac.uk

Resve A. Saleh, David Overhauser, Sandy Taylor

claim paper

Read More »

126

click to vote

IPPS
1998
IEEE

83views Distributed And Parallel Com...» more IPPS 1998»

Object Nets for the Design and Verification of Distributed and Embedded Applications

15 years 10 months ago

Download ipdps.cc.gatech.edu

Jürgen Nützel, Bernd Däne, Wolfgang...

claim paper

Read More »

168

click to vote

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 10 months ago

Download www.hpl.hp.com

James B. Saxe, John V. Guttag, James J. Horning, S...

claim paper

Read More »

144

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 10 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

106

click to vote

DATE
2004
IEEE

129views Hardware» more DATE 2004»

Improving Design and Verification Productivity with VHDL-200x

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers