Sciweavers

84 search results - page 2 / 17

» iccad 2007

110

ICCAD
2007
IEEE

72views Hardware» more ICCAD 2007»

A geometric approach for early power grid verification using current constraints

16 years 2 months ago

A geometric approach for early power grid verification using current constraints

Download www.eecg.toronto.edu

Imad A. Ferzli, Farid N. Najm, Lars Kruse

claim paper

Read More »

131

ICCAD
2007
IEEE

117views Hardware» more ICCAD 2007»

Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping

16 years 2 months ago

Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping

Download eda.ee.ucla.edu

Yu Hu, Victor Shih, Rupak Majumdar, Lei He

claim paper

Read More »

174

ICCAD
2007
IEEE

91views Hardware» more ICCAD 2007»

Sizing and placement of charge recycling transistors in MTCMOS circuits

15 years 9 months ago

Sizing and placement of charge recycling transistors in MTCMOS circuits

Download atrak.usc.edu

Ehsan Pakbaznia, Farzan Fallah, Massoud Pedram

claim paper

Read More »

110

ICCAD
2007
IEEE

64views Hardware» more ICCAD 2007»

An incremental learning framework for estimating signal controllability in unit-level verification

16 years 2 months ago

An incremental learning framework for estimating signal controllability in unit-level verification

Download cia.cm.nctu.edu.tw

Charles H.-P. Wen, Li-C. Wang, Jayanta Bhadra

claim paper

Read More »

114

ICCAD
2007
IEEE

78views Hardware» more ICCAD 2007»

BoxRouter 2.0: architecture and implementation of a hybrid and robust global router

16 years 8 days ago

BoxRouter 2.0: architecture and implementation of a hybrid and robust global router

Download www.cerc.utexas.edu

Minsik Cho, Katrina Lu, Kun Yuan, David Z. Pan

claim paper

Read More »

« Prev « First page 2 / 17 Last » Next »