DAC 1990 | Sciweavers

36

DAC
1990
ACM

167views Computer Architecture» more DAC 1990»

Symbolic Simulation - Techniques and Applications

14 years 3 months ago

Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...

Randal E. Bryant

claim paper

Read More »

29

click to vote

DAC
1990
ACM

90views Computer Architecture» more DAC 1990»

An Analytical Approach to Floorplan Design and Optimization

14 years 3 months ago

Download users.ece.gatech.edu

Suphachai Sutanthavibul, Eugene Shragowitz, J. Ben...

claim paper

Read More »

32

click to vote

DAC
1990
ACM

85views Computer Architecture» more DAC 1990»

Timing Verification Using HDTV

14 years 3 months ago

Download kona.ee.pitt.edu

In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...

Alan R. Martello, Steven P. Levitan, Donald M. Chi...

claim paper

Read More »

35

click to vote

DAC
1990
ACM

121views Computer Architecture» more DAC 1990»

Chortle: A Technology Mapping Program for Lookup Table-Based Field Programmable Gate Arrays

14 years 3 months ago

Download www.cs.nthu.edu.tw

Robert J. Francis, Jonathan Rose, Kevin Chung

claim paper