Efficient verification of determinate speed-independent circuits

@inproceedings{Beerel1993EfficientVO,
  title={Efficient verification of determinate speed-independent circuits},
  author={Peter A. Beerel and Jerry R. Burch and Teresa H. Y. Meng},
  booktitle={ICCAD},
  year={1993}
}
We present sufficient conditions for the correctness of speedindependent circuits with respect to their state graph (SC) specification, which can be tested in linear-time with respect to the size of the SG. Our correctness conditions consist of one safety condition and one progress condition. The progress condition detects deadloek conditions that are not present in the specification. The SG specifications eonsidered me determinate, allowing input choice (eonditiomds) but not output choice… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS
12 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…