New algorithms for logic verification and sequential redundancy identification /

Recent advances in VLSI technology have made testing and verification of integrated circuits more and more important. In this dissertation, we propose new algorithms for combinational logic verification, automatic flip-flop matching and sequential redundancy identification. This dissertation first...

Full description

Bibliographic Details

Main Author:	Cao, Wanlin
Format:	Thesis Book
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 2000.
Subjects:	Major computer science.
Online Access:	http://proxy.library.tamu.edu/login?url=http://proquest.umi.com/pqdweb?did=727726141&sid=1&Fmt=2&clientId=2945&RQT=309&VName=PQD