DMCA
A Methodology for Hardware Verification Based on Logic Simulation (1991)
| Venue: | Journal of the ACM |
| Citations: | 38 - 4 self |
BibTeX
@ARTICLE{Bryant91amethodology,
author = {Randal E. Bryant},
title = {A Methodology for Hardware Verification Based on Logic Simulation},
journal = {Journal of the ACM},
year = {1991},
volume = {38},
pages = {299--328}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A logic simulator can prove the correctness of a digital circuit if it can be shown that only circuits fulfilling the system specification will produce a particular response to a sequence of simulation commands. This style of verification has advantages over other proof methods in being readily automated and requiring less attention on the part of the user to the low-level details of the design. It has advantages over other approaches to simulation in providing more reliable results, often at a comparable cost.
