EECS 298-11: Special CAD Seminar
Friday, May 10, 1995, 11am
Cory Hall--Wang Room


Recursive Learning Based Techniques for Verification and Optimization

                        Dhiraj Pradhan
                Laboratory for Computer and
                 Digital Systems Research
                Dept. of Computer Science
                 Texas A&M University
                  College Station, TX



This talk reviews certain recent developments in recursive learning based
verification and optimization.  These new techniques have proven to be
quite successful in logic verification in the discovery of design bugs
in both ISCAS and industrial circuits.  Also the Recursive Learning
based optimization techniques have resulted in best optimized circuits.  
These techniques have been
patented and pending licensing agreements with IBM and Mentor Graphics.
This work which was reported in Transactions in CAD received the best
paper award. 


Upcoming Seminars:

May 22: Mark Greenstreet, Univ. of British Columbia
	Verification of Digital Circuits Using Analog Models