10700 search results - page 276 / 2140 » Generative Design Patterns |
163
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
122
click to vote
BC
1998
15 years 2 months ago
1998
Abstract. A stochastic spike train analysis technique is introduced to reveal the correlation between the firing of the next spike and the temporal integration period of two conse...
120
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
159
click to vote
ISPD
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
122
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...