10700 search results - page 583 / 2140 » Generative Design Patterns |
167
Voted
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
172
Voted
DSD
2006
IEEE
16 years 13 days ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...
196
click to vote
SUTC
2006
IEEE
2006
IEEE
Schedules with Minimized Access Latency for Disseminating Dependent Information on Multiple Channels
16 years 11 days ago
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data...
163
click to vote
ITC
2000
IEEE
15 years 10 months ago
2000
IEEE
1 The term "functional BIST" describes a test method to control functional modules so that they generate a deterministic test set, which targets structural faults within ...
124
click to vote
BC
2008
15 years 6 months ago
2008
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...