Sciweavers

38 search results - page 1 / 8

» glvlsi 2007

42

GLVLSI
2007
IEEE

258views VLSI» more GLVLSI 2007»

I-cache multi-banking and vertical interleaving

14 years 3 days ago

I-cache multi-banking and vertical interleaving

Download www.cs.pitt.edu

Sangyeun Cho

claim paper

Read More »

13

GLVLSI
2007
IEEE

177views VLSI» more GLVLSI 2007»

Improvements for constraint solving in the systemc verification library

14 years 3 days ago

Improvements for constraint solving in the systemc verification library

Download www.informatik.uni-bremen.de

Daniel Große, Rüdiger Ebendt, Rolf Drec...

claim paper

Read More »

16

GLVLSI
2007
IEEE

152views VLSI» more GLVLSI 2007»

Optimization techniques for BDD-based bisimulation computation

14 years 3 days ago

Optimization techniques for BDD-based bisimulation computation

Download ira.informatik.uni-freiburg.de

Ralf Wimmer, Marc Herbstritt, Bernd Becker

claim paper

Read More »

16

GLVLSI
2007
IEEE

126views VLSI» more GLVLSI 2007»

An asynchronous fpga logic cell implementation

13 years 9 months ago

An asynchronous fpga logic cell implementation

Download ceit.aut.ac.ir

Atabak Mahram, Mehrdad Najibi, Hossein Pedram

claim paper

Read More »

16

GLVLSI
2007
IEEE

142views VLSI» more GLVLSI 2007»

Three-valued automated reasoning on analog properties

13 years 7 months ago

Three-valued automated reasoning on analog properties

Download es.cs.uni-kl.de

Raffaella Gentilini, Klaus Schneider, Alexander Dr...

claim paper

Read More »

« Prev « First page 1 / 8 Last » Next »