Search Sciweavers | Sciweavers

131 search results - page 5 / 27

» dac 2004

click to vote

DAC
2004
ACM

101views Computer Architecture» more DAC 2004»

Industrial experience with test generation languages for processor verification

13 years 12 months ago

Download www.cs.bris.ac.uk

Michael L. Behm, John M. Ludden, Yossi Lichtenstei...

claim paper

Read More »

click to vote

DAC
2004
ACM

132views Computer Architecture» more DAC 2004»

Fast and flexible buffer trees that navigate the physical layout environment

14 years 7 months ago

Download dropzone.tamu.edu

Charles J. Alpert, Milos Hrkic, Jiang Hu, Stephen ...

claim paper

Read More »

click to vote

DAC
2004
ACM

103views Computer Architecture» more DAC 2004»

AMUSE: a minimally-unsatisfiable subformula extractor

14 years 7 months ago

Download www.eecs.umich.edu

Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Ka...

claim paper

Read More »

click to vote

DAC
2004
ACM

103views Computer Architecture» more DAC 2004»

An efficient finite-domain constraint solver for circuits

14 years 7 months ago

Download cadlab.ece.ucsb.edu

Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting...

claim paper

Read More »

click to vote

DAC
2004
ACM

94views Computer Architecture» more DAC 2004»

First-order incremental block-based statistical timing analysis

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers