1219 search results - page 22 / 244 » Verification of Equivalent-Results Methods |
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
FGR
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents a face verification framework for fusing matching scores that measure similarities of local facial features. The framework is aimed to handle an openset verifi...
SEUS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
DATE
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...