Introduction to a computational theory and implementation of sequential hardware equivalence

Publisher Website

19 November 2005

book chapter
Published by Springer Nature

p. 54-64
https://doi.org/10.1007/bfb0023719

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Efficient implementation of a BDD package
Published by Association for Computing Machinery (ACM) ,1990
On the verification of sequential machines at differing levels of abstraction
Published by Association for Computing Machinery (ACM) ,1987
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers, 1986
Automatic verification of finite state concurrent system using temporal logic specifications
Published by Association for Computing Machinery (ACM) ,1983