Sciweavers

1342 search results - page 61 / 269

» MEMS Design And Verification

106

DAC
1998
ACM

117views Computer Architecture» more DAC 1998»

Functional Verification of Large ASICs

16 years 7 months ago

Functional Verification of Large ASICs

Download www.cs.ucr.edu

Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane...

claim paper

Read More »

130

DAC
1999
ACM

131views Computer Architecture» more DAC 1999»

Verification of a Microprocessor Using Real World Applications

16 years 7 months ago

Verification of a Microprocessor Using Real World Applications

Download ics.kaist.ac.kr

You-Sung Chang, Seungjong Lee, In-Cheol Park, Chon...

claim paper

Read More »

119

DAC
2000
ACM

106views Computer Architecture» more DAC 2000»

Verification of configurable processor cores

16 years 7 months ago

Verification of configurable processor cores

Download cadal.cse.nsysu.edu.tw

Gülbin Ezer, Marinés Puig-Medina, Pavl...

claim paper

Read More »

111

DAC
2005
ACM

106views Computer Architecture» more DAC 2005»

A generic micro-architectural test plan approach for microprocessor verification

16 years 7 months ago

A generic micro-architectural test plan approach for microprocessor verification

Download cadal.cse.nsysu.edu.tw

Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Ki...

claim paper

Read More »

155

DAC
1996
ACM

148views Computer Architecture» more DAC 1996»

RTL Emulation: The Next Leap in System Verification

15 years 10 months ago

RTL Emulation: The Next Leap in System Verification

Download www.cs.york.ac.uk

ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...

Sanjay Sawant, Paul Giordano

claim paper

Read More »

« Prev « First page 61 / 269 Last » Next »