8345 search results - page 23 / 1669 » Design of Neuromorphic Hardwares |
MICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
101
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
115
click to vote
FPL
2000
Springer
15 years 5 months ago
2000
Springer
The paper tries to establish the uniform design concept for evolvable hardware based applications. Evolvable circuit is understood as a system component with ability to evolve. As ...
116
Voted
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...