3902 search results - page 179 / 781 » Hardware Synthesis from C C Models |
151
Voted
ASYNC
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
95
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
A new methodology is presented to assure numerically reliable integration of the magnetisation slope in the JilesAtherton model of ferromagnetic core hysteresis. Two HDL implement...
164
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
112
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
130
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...