Sciweavers

293 search results - page 3 / 59
» date 2004
Sort
View
DATE
2004
IEEE
79views Hardware» more  DATE 2004»
13 years 9 months ago
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...
DATE
2004
IEEE
108views Hardware» more  DATE 2004»
13 years 9 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»
13 years 9 months ago
Direct Nonlinear Order Reduction with Variational Analysis
Lihong Feng, Xuan Zeng, Charles Chiang, Dian Zhou,...
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
13 years 9 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»
13 years 9 months ago
Improving Design and Verification Productivity with VHDL-200x
Stephen Bailey, Erich Marschner, Jayaram Bhasker, ...