3902 search results - page 175 / 781 » Hardware Synthesis from C C Models |
125
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
We describe an effort to prototype an Itanium microarchitecture using an FPGA. The microarchitecture model is written in the Bluespec hardware description language (HDL) and suppo...
151
click to vote
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
162
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
117
Voted
ICCAD
2002
IEEE
16 years 23 days ago
2002
IEEE
In macromodeling-based power estimation, circuit macromodels are created from simulations of synthetic input vector sequences. Fast generation of these sequences with all possible...
123
click to vote
ASAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...