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

15 years 3 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

15 years 11 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

15 years 11 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

15 years 11 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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers