Abstract
We are concerned with optimizing gate-level netlists containing “black boxes,” that is, 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 flexibility available for synthesis. Based on our new notion of equivalence, we introduce a procedure that computes the complete don't care set. Experiments indicate that our procedure can achieve more minimization than conventional synthesis.
- ALLIANCE, V. 1996. Virtual Socket Interface Proposal 1.0. http://www.vsi.org/.Google Scholar
- AZIZ, A. 2000. http://www.ece.utexas.edu/~adnan/publications/www-core-seq.ps.Google Scholar
- BARTLETT, K. A., BRAYTON, R. K., HACHTEL,G.D.,JACOBY, R. M., MORRISON, C. R., RUDELL,R.L., SANGIOVANNI-VINCENTELLI,A.L.,AND WANG, A. R. 1988. Multilevel logic minimization using implicit don't cares. IEEE Trans. Comput.-Aided Des. Integ. Circ. Syst. 7, 6 (June), 723-740.Google Scholar
- BRYANT, R. 1986. Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35, (Aug.), pp. 677-691. Google Scholar
- LIU, T., SAJID, K., AZIZ, A., AND SINGHAL, V. 1997. Optimizing designs containing black boxes. In Proceedings of the Design Automation Conference (June). IEEE Computer Society Press, Los Alamitos, Calif., pp. 113-116. Google Scholar
- SAVOJ, H., AND BRAYTON, R. K. 1991. Observability relations and observability don't cares. In Proceedings of the International Conference on Computer-Aided Design (Nov.). IEEE Computer Society Press, Los Alamitos, Calif., pp. 518-521.Google Scholar
- SAVOJ, H., BRAYTON,R.K.,AND TOUATI, H. 1991. Extracting local don't cares for network optimization. In Proceedings of the International Conference on Computer-Aided Design (Nov.). IEEE Computer Society Press, Los Alamitos, Calif., pp. 514-517.Google Scholar
- SENTOVICH, E. M., SINGH,K.J.,MOON, C., SAVOJ, H., BRAYTON,R.K.,AND SANGIOVANNI-VINCENTELLI, A. L. 1992. Sequential circuit design using synthesis and optimization. In Proceedings of the International Conference on Computer Design (Oct.). IEEE Computer Society Press, Los Alamitos, Calif., pp. 328-333. Google Scholar
- STOK, L. 1996. BooleDozer: Logic synthesis for ASICs. IBM J. Res. Devep. (July), 407-430. Google Scholar
- WATANABE,Y.,AND BRAYTON, R. K. 1993. The maximum set of permissible behaviors for FSM networks. In Proceedings of the International Conference on Computer-Aided Design. 316-320. Google Scholar
- WATANABE, Y., GUERRA, L., AND BRAYTON, R. K. 1993. Logic optimization with multi-output gates. In Proceedings of the International Conference on Computer Design (Boston, Mass., Oct.). IEEE Computer Society Press, Los Alamitos, Calif., pp. 416-420.Google Scholar
Index Terms
- Optimizing designs containing black boxes
Recommendations
Optimizing designs containing black boxes
DAC '97: Proceedings of the 34th annual Design Automation ConferenceWe 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 ...
Routability-driven analytical placement for mixed-size circuit designs
ICCAD '11: Proceedings of the International Conference on Computer-Aided DesignDue to the significant mismatch between existing wirelength models and the congestion objective in placement, considering routability during placement is particularly significant for modern circuit designs. In this paper, a novel routability-driven ...
A robust detailed placement for mixed-size IC designs
ASP-DAC '06: Proceedings of the 2006 Asia and South Pacific Design Automation ConferenceThe rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recent years. Although several algorithms have been proposed for mixed-sized ...
Comments