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

14 years 3 days 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