skip to main content
10.5555/787260.787719acmconferencesArticle/Chapter ViewAbstractPublication PagesedtcConference Proceedingsconference-collections
Article
Free access

Practical concurrent ASIC and system design and verification

Published: 17 March 1997 Publication History

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

Comments

Information & Contributors

Information

Published In

EDTC '97: Proceedings of the 1997 European conference on Design and Test
March 1997
596 pages
ISBN:0818677864

Sponsors

Publisher

IEEE Computer Society

United States

Publication History

Published: 17 March 1997

Check for updates

Author Tags

  1. ASIC
  2. application specific integrated circuits
  3. concurrency
  4. design
  5. system
  6. verification

Qualifiers

  • Article

Conference

EDTC96
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 153
    Total Downloads
  • Downloads (Last 12 months)12
  • Downloads (Last 6 weeks)2
Reflects downloads up to 28 Oct 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media