Industrial Application of High Level Design Tools in Large Computer System Development

J. Tual, H.N. Nguyen
{"title":"Industrial Application of High Level Design Tools in Large Computer System Development","authors":"J. Tual, H.N. Nguyen","doi":"10.1109/ESSCIRC.1992.5468455","DOIUrl":null,"url":null,"abstract":"This paper describes the current design methodologies in use at BULL S.A. for the development of high-range, general-purpose computers. These systems are characterized by a very complex architecture, implemented in VLSI circuits using up-to-date CMOS technologies. To meet the time to market constraints, well defined methodologies have to be applied, guarantying a one pass zero defect design at both the functional and performance levels. Since more than 10 years, advanced design tools have been developed in the Company, to deal with the underlying design challenges. More precisely this paper presents the most innovative parts of the current methodologies, as they have been or are used by the designers. A specific emphasis is put on high level description and verification methods and tools, usable for system complexities of several millions of gates. Finally the paper contains also some prospective views on the future of high-level design tools, as they can be viewed from a mainframe manufacturer point of view.","PeriodicalId":242379,"journal":{"name":"ESSCIRC '92: Eighteenth European Solid-State Circuits conference","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ESSCIRC '92: Eighteenth European Solid-State Circuits conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ESSCIRC.1992.5468455","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

This paper describes the current design methodologies in use at BULL S.A. for the development of high-range, general-purpose computers. These systems are characterized by a very complex architecture, implemented in VLSI circuits using up-to-date CMOS technologies. To meet the time to market constraints, well defined methodologies have to be applied, guarantying a one pass zero defect design at both the functional and performance levels. Since more than 10 years, advanced design tools have been developed in the Company, to deal with the underlying design challenges. More precisely this paper presents the most innovative parts of the current methodologies, as they have been or are used by the designers. A specific emphasis is put on high level description and verification methods and tools, usable for system complexities of several millions of gates. Finally the paper contains also some prospective views on the future of high-level design tools, as they can be viewed from a mainframe manufacturer point of view.
高级设计工具在大型计算机系统开发中的工业应用
本文描述了BULL S.A.目前用于开发高范围通用计算机的设计方法。这些系统的特点是结构非常复杂,采用最新的CMOS技术在VLSI电路中实现。为了满足上市时间的限制,必须应用定义良好的方法,以保证在功能和性能级别上的一次零缺陷设计。十多年来,公司开发了先进的设计工具,以应对潜在的设计挑战。更准确地说,本文介绍了当前方法中最具创新性的部分,因为它们已经或正在被设计师使用。一个特别的重点放在高层次的描述和验证方法和工具,可用于数百万门的系统复杂性。最后,本文还包含了一些关于高级设计工具未来的前瞻性观点,因为它们可以从大型机制造商的角度来看。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信