882 search results - page 45 / 177 » Allowing State Changes in Specifications |
142
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
160
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
176
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
127
click to vote
JLP
2010
15 years 29 days ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
144
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...