Optimizing designs containing black boxes
Tai-Hung Liu, Khurram Sajid, Adnam Aziz, Vigyan Singhal · 1997
We define a notion of equivalence for designs containingblack boxes i.e., components whose functionality is notknown; these arise naturally in the course of hierarchicaldesign. Using this notion, we describe a sound andcomplete methodology for optimizing such designs.