Sciweavers

289 search results - page 1 / 58
» vlsi 2007
Sort
View
GLVLSI
2007
IEEE
177views VLSI» more  GLVLSI 2007»
13 years 11 months ago
Improvements for constraint solving in the systemc verification library
Daniel Große, Rüdiger Ebendt, Rolf Drec...
GLVLSI
2007
IEEE
152views VLSI» more  GLVLSI 2007»
13 years 11 months ago
Optimization techniques for BDD-based bisimulation computation
Ralf Wimmer, Marc Herbstritt, Bernd Becker
GLVLSI
2007
IEEE
126views VLSI» more  GLVLSI 2007»
13 years 8 months ago
An asynchronous fpga logic cell implementation
Atabak Mahram, Mehrdad Najibi, Hossein Pedram