Search Sciweavers | Sciweavers

1342 search results - page 38 / 269

» MEMS Design And Verification

121

click to vote

ATS
2002
IEEE

74views Hardware» more ATS 2002»

Evolutionary Test Program Induction for Microprocessor Design Verification

15 years 11 months ago

Download www.cs.bham.ac.uk

Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...

claim paper

Read More »

131

click to vote

GLVLSI
2002
IEEE

106views VLSI» more GLVLSI 2002»

AQUASUN: adaptive window query processing in CAD applications for physical design and verification

15 years 11 months ago

Download www.cecs.uci.edu

Michiel De Wilde, Dirk Stroobandt, Jan Van Campenh...

claim paper

Read More »

134

click to vote

ISQED
2002
IEEE

73views Hardware» more ISQED 2002»

Promising Directions in Hardware Design Verification (invited)

15 years 11 months ago

Download network.ku.edu.tr

Shaz Qadeer, Serdar Tasiran

claim paper

Read More »

120

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

15 years 10 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne, Robert P. Kurs...

claim paper

Read More »

134

click to vote

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers