5799 search results - page 319 / 1160 » Patterns Generate Architectures |
140
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
163
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
124
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
147
Voted
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
- We propose a dynamic test compaction procedure to generate high-quality test patterns for path delay faults. While the proposed procedure generates a compact two-pattern test set...
130
click to vote
AIIDE
2007
15 years 7 months ago
2007
This demonstration describes the generation of ambient and latent NPC behavior scripts using generative behavior patterns with ScriptEase. Our behavior model supports behavior rol...