460 search results - page 76 / 92 » RTL-Datapath Verification using Integer Linear Programming |
87
Voted
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
76
Voted
RECOMB
1998
Springer
15 years 3 months ago
1998
Springer
Ribonucleic acid (RNA) is a polymer composed of four bases denoted A, C, G, and U. It is a generally single-stranded molecule where the bases form hydrogen bonds within the same m...
DAC
2008
ACM
16 years 19 days ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...
84
Voted
VLSID
2007
IEEE
16 years 14 hour ago
2007
IEEE
Leakage power is becoming a dominant contributor to the total power consumption and dual-Vth assignment is an efficient technique to decrease leakage power, for which effective de...
91
Voted
VLSID
2002
IEEE
16 years 12 hour ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...