Abstract
This paper describes our state-of-the-art design flow used for specification, implementation and verification of a 10 million gates ASIC System-on-Chip (SoC) for a Sonet/SDH application. We present our tools and methodologies currently used and/or being developed for a multisite ASIC design project from the first specification up to the gate level netlist: our multi-site data management environment VHDLDevSys, our multi-use and re-use library ADK-Lib and our multi-platform VHDL/C++ simulation/verification environment PROVerify together with the employment of formal methods.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Smith, K.: A New Design Cost Model for the, ITRS, Proceedings of ISQED, IEEE 0-7695-1561-4/02 (2001)
Moretti: System Level Design merits a closer look, EDN , Febuary 21 (2002), http://www.edamag.com
ITU-T G.709/Y.1331: Interfaces for the optical transport network
ITU-T G.707/Y.1322: Network node interface for the Synchronous Digital Hierarchy (SDH)
Drechsler, H.: Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment. In: International Workshop on Boolean Problems, Freiberg, pp. 195–200 (2002)
Haas, H., Gossens: Integration of Formal Specification into the Standard ASIC Design Flow. In: 7th IEEE/IEICE International Symposium on High Assurance Systems Engineering, Tokio (2002)
Heitmeyer, J., Labaw: Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology 5(3), 231–261 (1996)
Mayer, S., Schuck, P.: VHDL Development System and Coding Standard. In: Design Automation Conference Las Vegas (1996)
Sahm, M., Pleickhardt, S.: OMI-326 VHDL Coding Standard. Omimo (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heinkel, U., Mayer, C., Webb, C., Sahm, H., Haas, W., Gossens, S. (2004). An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. In: Pimentel, A.D., Vassiliadis, S. (eds) Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2004. Lecture Notes in Computer Science, vol 3133. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27776-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-27776-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22377-1
Online ISBN: 978-3-540-27776-7
eBook Packages: Springer Book Archive