Search Sciweavers | Sciweavers

1342 search results - page 41 / 269

» MEMS Design And Verification

207

click to vote

EURODAC
1994
IEEE

148views VHDL» more EURODAC 1994»

System-Level Modeling and Verification: a Comprehensive Design Methodology

15 years 9 months ago

Download www.cad.polito.it

Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...

claim paper

Read More »

157

click to vote

ASPDAC
2008
ACM

173views Hardware» more ASPDAC 2008»

Experiences of low power design implementation and verification

15 years 8 months ago

Download www.cecs.uci.edu

Shi-Hao Chen, Jiing-Yuan Lin

claim paper

Read More »

124

click to vote

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

15 years 8 months ago

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

click to vote

WSC
2001

80views Modeling And Simulation» more WSC 2001»

Verification of object-oriented simulation designs

15 years 7 months ago

Download www.informs-sim.org

Michael L. Metz, Jack Jordan

claim paper

Read More »

157

click to vote

CHDL
1993

135views Hardware» more CHDL 1993»

Automatic Verification of Sequential Circuit Designs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers