Verifying pipelined hardware using symbolic logic simulation

Publisher Website

7 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iccd.1989.63359

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

COSMOS: a compiled simulator for MOS circuits
Published by Association for Computing Machinery (ACM) ,1987
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers, 1986
Proof of correctness of data representations
Acta Informatica, 1972