6581 search results - page 524 / 1317 » Formalizing Design Patterns |
164
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
177
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
186
Voted
PUC
2008
15 years 6 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
219
click to vote
ISCAS
2011
IEEE
14 years 10 months ago
2011
IEEE
— The last two decades have seen many efficient algorithms and architectures for the design of low-complexity bit-parallel Multiple Constant Multiplications (MCM) operation, tha...
215
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...