87 search results - page 14 / 18 » Synthesis of Testable RTL Designs |
121
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
173
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
126
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Current electronic system design requires to be concerned with power consumption consideration. However, in a lot of design tools, the application power consumption budget is esti...
107
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract—Interconnects (wires, buffers, clock distribution networks, multiplexers and busses) consume a significant fraction of total circuit power. In this work, we demonstrat...
94
Voted
DAC
2009
ACM
15 years 6 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...