Sciweavers

74 search results - page 2 / 15

» iccad 2005

11

ICCAD
2005
IEEE

79views Hardware» more ICCAD 2005»

Storage assignment during high-level synthesis for configurable architectures

14 years 2 months ago

Storage assignment during high-level synthesis for configurable architectures

Download www.ece.ucsb.edu

Wenrui Gong, Gang Wang, Ryan Kastner

claim paper

Read More »

10

ICCAD
2005
IEEE

86views Hardware» more ICCAD 2005»

Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems

14 years 2 months ago

Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems

Download www.cse.nd.edu

Bren Mochocki, Razvan Racu, Rolf Ernst

claim paper

Read More »

9

ICCAD
2005
IEEE

140views Hardware» more ICCAD 2005»

Embedded tutorial: formal equivalence checking between system-level models and RTL

13 years 11 months ago

Embedded tutorial: formal equivalence checking between system-level models and RTL

Download www2.iccad.com

Alfred Koelbl, Yuan Lu, Anmol Mathur

claim paper

Read More »

8

ICCAD
2005
IEEE

71views Hardware» more ICCAD 2005»

Simulation-based bug trace minimization with BMC-based refinement

13 years 11 months ago

Simulation-based bug trace minimization with BMC-based refinement

Download www.eecs.umich.edu

Kai-Hui Chang, Valeria Bertacco, Igor L. Markov

claim paper

Read More »

8

ICCAD
2005
IEEE

79views Hardware» more ICCAD 2005»

Discrete Vt assignment and gate sizing using a self-snapping continuous formulation

14 years 2 months ago

Discrete Vt assignment and gate sizing using a self-snapping continuous formulation

Download www-personal.umich.edu

Saumil Shah, Ashish Srivastava, Dushyant Sharma, D...

claim paper

Read More »

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