Automatic Verification of Pipelined Microprocessor Control (1994)
by
Jerry Burch
,
David Dill
| Citations: | 242 - 6 self |
BibTeX
@INPROCEEDINGS{Burch94automaticverification,
author = {Jerry Burch and David Dill},
title = {Automatic Verification of Pipelined Microprocessor Control},
booktitle = {},
year = {1994},
pages = {68--80},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe a technique for verifying the control logic of pipelined microprocessors. It handles more complicated designs, and requires less human intervention, than existing methods. The technique automaticMly compares a pipelined implementation to an architectural description. The CPU time needed for verification is independent of the data path width, the register file size, and the number of ALU operations.
