HSIS: a BDD-based environment for formal verification

Full Text:

PDF

Buy this Article

Authors:	A. Aziz	Department of EECS, University of California at Berkeley, Berkeley, CA
	F. Balarin	Department of EECS, University of California at Berkeley, Berkeley, CA
	S.-T. Cheng	Department of EECS, University of California at Berkeley, Berkeley, CA
	R. Hojati	Department of EECS, University of California at Berkeley, Berkeley, CA
	T. Kam	Department of EECS, University of California at Berkeley, Berkeley, CA
	S. C. Krishnan	Department of EECS, University of California at Berkeley, Berkeley, CA
	R. K. Ranjan	Department of EECS, University of California at Berkeley, Berkeley, CA
	T. R. Shiple	Department of EECS, University of California at Berkeley, Berkeley, CA
	V. Singhal	Department of EECS, University of California at Berkeley, Berkeley, CA
	S. Tasiran	Department of EECS, University of California at Berkeley, Berkeley, CA
	H.-Y. Wang	Department of EECS, University of California at Berkeley, Berkeley, CA
	R. K. Brayton	Department of EECS, University of California at Berkeley, Berkeley, CA
	A. L. Sangiovanni-Vincentelli	Department of EECS, University of California at Berkeley, Berkeley, CA