Practical concurrent ASIC and system design and verification
Authors: 
I. Gibson, C. AmiesAuthors Info & Claims
Abstract
This paper describes the evolution of a design and verification methodology successfully used to develop advanced ASICs as components of multiple new commercial products. The ASICs are typically large, high speed, algorithmically complex and implement novel functionality. The ASIC development process is driven by the commercial pressures of low cost and short schedules of multiple projects. It is carried out using a team of designers of varying experience including new staff. The dual emphasis of our methodology is maintaining fine control over the design and verification process, together with full independent cross verification as an integral part of the entire ASIC and system development process.
References
[1]
{1} Derek, L Beatty and Ranald E Bryant, "Formally Verifying a Microprocessor using a Simulation Methodology", Proceedings of the 31st Design Automation Conference, San Diego, June 1994.
[2]
{2} Francoise Casaubieilh, et al, "Functional Verification Methodology of Chameleon Processor", Proceedings of the 33rd Design Automation Conference, Las Vegas, June 1996.
[3]
{3} J Freeman et al, "The 68060 Microprocessor Functional Design and Verification Methodology", Proceedings of the Design SuperCon '95 On-Chip Design Conference, Santa Clara, March 1995.
[4]
{4} Ian Gibson et al, "Practical Industrial Use of HDLs for the Development of Large High Speed ASICs" Proceedings of the Asia Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, December 1993.
[5]
{5} Michael Kantrowitz and Lisa M. Noack, "I'm Done Simulating; Now What? Verification Coverage Analysis and Correctness Checking of the Decchip 21164 Alpha Micro-processor", Proceedings of the 33rd Design Automation Conference, Las Vegas, June 1996.
[6]
{6} P.H. Kelly et al, "Rapid prototyping of ASIC Based System", Proceedings of the 31st Design Automation Conference , San Diego, June 1994.
[7]
{7} Val Popescu and Bill McNamara, "Innovative Verification Strategy reduces design cycle time for high end spare processor", Proceedings of the 33rd Design Automation Conference , Las Vegas, June 1996.
[8]
{8} C. Roth et al, "The PowerPC 604 Microprocessor Design Methodology", International Conference on Computer Design, 1994.
[9]
{9} Alberto L. Sangiovanni-Vincentelli et al, "Verification of Electronic Systems", Proceedings of the 33rd Design Automation Conference, Las Vegas, June 1996.
[10]
{10} Mandayam Srivas and Steven P. Millar, "Applying Formal Verification to a Commercial Microprocessor", Proceedings of the 1995 IFIP International Conference on Computer Hardware Description Languages, Japan, August 1995.
[11]
{11} Peter R Sutton and Stephen W Director, "A description language for Design Process Management", Proceedings of the 33rd Design Automation Conference, Las Vegas, June 1996.
[12]
{12} Marina Zanella, "Principles of Design Methodology Management for Electronic CAD Frameworks", Proceedings of The European Conference on Design Automation", Brussels March 1992.
Recommendations
Design of a Classification System for Rectangular Shapes Using a Co-Design Environment
SBCCI '00: Proceedings of the 13th symposium on Integrated circuits and systems designPattern localization and classification are CPU time intensive, being normally implemented in software. Custom implementations in hardware allow real-time processing. In practice, in ASIC or FPGA implementations, the digitization process introduces ...
From ASIC to ASIP: The Next Design Discontinuity
ICCD '02: Proceedings of the 2002 IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD'02)A variety of factors is making it increasingly difficult and expensive to design and manufacture traditional Application Specific Integrated Circuits (ASICs). This has started a significant move towards the use of programmable solutions of various forms ...
Comments
Information & Contributors
Information
Published In
March 1997
596 pages
ISBN:0818677864
Copyright © Copyright (c) 1997 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Published: 17 March 1997
Check for updates
Author Tags
Qualifiers
- Article
Conference
EDTC96
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 153Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)2
Reflects downloads up to 28 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in