759 search results - page 134 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
DAC
1998
ACM
13 years 12 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
FCCM
2003
IEEE
14 years 29 days ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...
DSD
2009
IEEE
13 years 11 months ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...