Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Optimizing Designs Containing Black Boxes Tai-Hung Liu
 

Summary: Optimizing Designs Containing Black Boxes
Tai-Hung Liu
Avanti Corp.
and
Adnan Aziz
The University of Texas at Austin
and
Vigyan Singhal
Tempus Fugit Inc.
We are concerned with optimizing gate-level netlists containing "black boxes", i.e., components
whose functionality is not available to the optimization tool. We establish a notion of equivalence
for gate-level netlists containing black boxes, and prove that it is sound and complete. We show
that conventional approaches to optimizing such netlists fail to fully exploit the don't care flexi-
bility available for synthesis. Based on our new notion of equivalence, we introduce a procedure
which computes the complete don't care set. Experiments indicate that our procedure can achieve
more minimization than conventional synthesis.
Categories and Subject Descriptors: B.6.3 [Logic Design]: Design aids--Automatic synthesis;
D.2.4 [Software Engineering]: Software/Program verification--Formal methods
General Terms: Algorithms, Design, Verification
Additional Key Words and Phrases: Hierarchical logic synthesis, Don't cares, IP-based design

  

Source: Aziz, Adnan - Department of Electrical and Computer Engineering, University of Texas at Austin

 

Collections: Computer Technologies and Information Sciences