13109 search results - page 326 / 2622 » The design and implementation of AspectC |
174
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
1 We propose an integrated technique for extensive optimization of the final test solution for System-on-Chip using Simulated Annealing. The produced results from the technique ar...
151
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
— A design-oriented periodic steady-state analysis is presented in this paper. The new analysis finds the values of circuit parameters that result in a desired circuit performan...
155
click to vote
HVC
2007
Springer
16 years 27 days ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
159
click to vote
ICANNGA
2007
Springer
16 years 27 days ago
2007
Springer
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
146
click to vote
IOLTS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes a highly reliable digital circuit design method based on totally self checking blocks implemented in FPGAs. The bases of the self checking blocks are parity p...