Sciweavers

293 search results - page 3 / 59
» date 2004
Sort
View
88
Voted
DATE
2004
IEEE
79views Hardware» more  DATE 2004»
15 years 7 months ago
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...
92
Voted
DATE
2004
IEEE
108views Hardware» more  DATE 2004»
15 years 7 months ago
Network Topology Exploration of Mesh-Based Coarse-Grain Reconfigurable Architectures
Nikhil Bansal, Sumit Gupta, Nikil Dutt, Alexandru ...
DATE
2004
IEEE
120views Hardware» more  DATE 2004»
15 years 7 months ago
Direct Nonlinear Order Reduction with Variational Analysis
Lihong Feng, Xuan Zeng, Charles Chiang, Dian Zhou,...
65
Voted
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 7 months ago
A Crosstalk Aware Interconnect with Variable Cycle Transmission
Lin Li, Narayanan Vijaykrishnan, Mahmut T. Kandemi...
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 7 months ago
Improving Design and Verification Productivity with VHDL-200x
Stephen Bailey, Erich Marschner, Jayaram Bhasker, ...