首页 > 最新文献

21st Design Automation Conference Proceedings最新文献

英文 中文
MGX: An Integrated Symbolic Layout System for VLSI 一个集成的VLSI符号布局系统
Pub Date : 1984-06-25 DOI: 10.5555/800033.800855
M. Ozaki, Miho Watanabe, M. Kakinuma, M. Ikeda, Koji Sato
A symbolic layout system for double-metal silicon-gate MOS technology in the style of Gate Matrix is presented. This system provides an integrated layout environment which consists of stick-figure-based graphic editor, a mask artwork generator, a connectivity checker, a circuit parameter extracter and simulator interfaces. All the modules are designed to deal with symbol data, rather than mask artwork, so that fast execution is realized. A method to associate symbol data with actual mask geometry is described along with the data structure employed. Also described is network partitioning by signal names taking into account logical equivalence of transistor circuits.
提出了一种栅极矩阵形式的双金属硅栅MOS技术符号布局系统。该系统提供了一个集成的布局环境,该环境由基于简笔图的图形编辑器、掩模图形生成器、连接检查器、电路参数提取器和模拟器接口组成。所有模块都设计为处理符号数据,而不是掩码艺术品,因此实现了快速执行。描述了一种将符号数据与实际掩模几何相关联的方法以及所采用的数据结构。还描述了考虑到晶体管电路的逻辑等效性,按信号名称划分网络。
{"title":"MGX: An Integrated Symbolic Layout System for VLSI","authors":"M. Ozaki, Miho Watanabe, M. Kakinuma, M. Ikeda, Koji Sato","doi":"10.5555/800033.800855","DOIUrl":"https://doi.org/10.5555/800033.800855","url":null,"abstract":"A symbolic layout system for double-metal silicon-gate MOS technology in the style of Gate Matrix is presented. This system provides an integrated layout environment which consists of stick-figure-based graphic editor, a mask artwork generator, a connectivity checker, a circuit parameter extracter and simulator interfaces. All the modules are designed to deal with symbol data, rather than mask artwork, so that fast execution is realized. A method to associate symbol data with actual mask geometry is described along with the data structure employed. Also described is network partitioning by signal names taking into account logical equivalence of transistor circuits.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129665529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A Designing System for Multi-Family Housing 多户住宅设计系统
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585807
B. Jackson
This paper reports on the development of a computer program, SYSBLD2, which generates passive solar designs for multi-family housing from a database of apartment plans, their components, and their associated economic and energy analysis. Although the program has been designed to be generic, the plans are associated with a precast concrete modular housing system. The program development acts as a framework for re-evaluation and modification of an industrialized housing system to include passive or low energy technology. Design criteria are established as objective functions which are linked to analytical programs and files in the database. The program utilizes the record structure of PASCAL to provide its data structure. Data input is interactive using a keyboard or digitizer; output is graphic or numeric.
本文报告了一个计算机程序SYSBLD2的开发,该程序可以从公寓平面图的数据库、它们的组成以及它们相关的经济和能源分析中生成多户住宅的被动式太阳能设计。虽然该项目被设计为通用的,但该计划与预制混凝土模块化住房系统有关。该项目开发作为一个框架,用于重新评估和修改工业化住房系统,包括被动式或低能耗技术。设计标准是作为目标函数建立的,这些目标函数与数据库中的分析程序和文件相关联。该程序利用PASCAL的记录结构来提供其数据结构。数据输入是交互式的,使用键盘或数字化仪;输出是图形或数字。
{"title":"A Designing System for Multi-Family Housing","authors":"B. Jackson","doi":"10.1109/DAC.1984.1585807","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585807","url":null,"abstract":"This paper reports on the development of a computer program, SYSBLD2, which generates passive solar designs for multi-family housing from a database of apartment plans, their components, and their associated economic and energy analysis. Although the program has been designed to be generic, the plans are associated with a precast concrete modular housing system. The program development acts as a framework for re-evaluation and modification of an industrialized housing system to include passive or low energy technology. Design criteria are established as objective functions which are linked to analytical programs and files in the database. The program utilizes the record structure of PASCAL to provide its data structure. Data input is interactive using a keyboard or digitizer; output is graphic or numeric.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130145823","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
VTIcompose - A Powerful Graphical Chip Assembly Tool 一个强大的图形芯片组装工具
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585886
S. Trimberger
VTIcompose is a graphical chip assembly tool. It is designed to ease the assembly of large-scale custom chips in a hierarchical manner, leaving the detailed cell design to other tools in the system. VTIcompose supports both manual and automatic placement and interconnection, with commands and data structures applicable to both exact placement and symbolic style layout. The wide range of commands allows VTIcompose to support a wide range of chip design styles.
VTIcompose是一个图形芯片组装工具。它旨在简化大规模定制芯片的分层组装,将详细的单元设计留给系统中的其他工具。VTIcompose支持手动和自动放置和互连,其命令和数据结构适用于精确放置和符号样式布局。广泛的命令允许VTIcompose支持广泛的芯片设计风格。
{"title":"VTIcompose - A Powerful Graphical Chip Assembly Tool","authors":"S. Trimberger","doi":"10.1109/DAC.1984.1585886","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585886","url":null,"abstract":"VTIcompose is a graphical chip assembly tool. It is designed to ease the assembly of large-scale custom chips in a hierarchical manner, leaving the detailed cell design to other tools in the system. VTIcompose supports both manual and automatic placement and interconnection, with commands and data structures applicable to both exact placement and symbolic style layout. The wide range of commands allows VTIcompose to support a wide range of chip design styles.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120927204","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
ORACLE - A Simulator for Bipolar and MOS IC Design ORACLE -用于双极和MOS IC设计的模拟器
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585817
M. d'Abreu, K. L. Cheong, C. T. Flanagan
This paper describes a logic simulation system that supports both Bipolar as well as MOS IC design. Some of the underlying concepts implemented in this system, which also supports mixed-level simulation, are described. A brief discussion of the basic Current Mode Logic (CML) primitives, simulation algorithms and basic data structures will also be presented.
本文介绍了一个支持双极电路和MOS集成电路设计的逻辑仿真系统。描述了该系统中实现的一些基本概念,该系统也支持混合级仿真。简要讨论了基本的电流模式逻辑(CML)原语、仿真算法和基本数据结构。
{"title":"ORACLE - A Simulator for Bipolar and MOS IC Design","authors":"M. d'Abreu, K. L. Cheong, C. T. Flanagan","doi":"10.1109/DAC.1984.1585817","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585817","url":null,"abstract":"This paper describes a logic simulation system that supports both Bipolar as well as MOS IC design. Some of the underlying concepts implemented in this system, which also supports mixed-level simulation, are described. A brief discussion of the basic Current Mode Logic (CML) primitives, simulation algorithms and basic data structures will also be presented.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121134889","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Automated System for Testing LSI Memory Chips 一种测试大规模集成电路存储芯片的自动化系统
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585837
H. D. Schnurmann, L. J. Vidunas, R. M. Peters
This paper describes a software system for testing LSI memory chips. This system achieves complete automation by customizing test data for a given part number design and by creating an overall test program to be used by a computer-controlled tester in a manufacturing environment. This system encompasses DC testing of the memory product and test sites, AC testing under a variety of timing conditions, and generating a complete set of AC functional test patterns.
本文介绍了一种测试LSI存储芯片的软件系统。该系统通过为给定的零件编号设计定制测试数据,并通过创建一个由计算机控制的测试器在制造环境中使用的整体测试程序,实现了完全的自动化。该系统包括对存储产品和测试站点的直流测试,各种定时条件下的交流测试,并生成一套完整的交流功能测试模式。
{"title":"An Automated System for Testing LSI Memory Chips","authors":"H. D. Schnurmann, L. J. Vidunas, R. M. Peters","doi":"10.1109/DAC.1984.1585837","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585837","url":null,"abstract":"This paper describes a software system for testing LSI memory chips. This system achieves complete automation by customizing test data for a given part number design and by creating an overall test program to be used by a computer-controlled tester in a manufacturing environment. This system encompasses DC testing of the memory product and test sites, AC testing under a variety of timing conditions, and generating a complete set of AC functional test patterns.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116479413","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards a Standard Hardware Description Language 迈向标准的硬件描述语言
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585805
K. Lieberherr
General requirements for hardware description languages are defined. The hardware description language Zeus is claimed to satisfy most of these requirements. Zeus is summarized and briefly compared to other hardware description languages. The expressiveness of Zeus is demonstrated on designs for music generation, comparison and unary-to-binary conversion.
定义了硬件描述语言的一般要求。据称,硬件描述语言Zeus可以满足大多数这些需求。本文对Zeus进行了总结,并与其他硬件描述语言进行了简要比较。Zeus的表现力在音乐生成、比较和一元到二进制转换的设计上得到了体现。
{"title":"Towards a Standard Hardware Description Language","authors":"K. Lieberherr","doi":"10.1109/DAC.1984.1585805","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585805","url":null,"abstract":"General requirements for hardware description languages are defined. The hardware description language Zeus is claimed to satisfy most of these requirements. Zeus is summarized and briefly compared to other hardware description languages. The expressiveness of Zeus is demonstrated on designs for music generation, comparison and unary-to-binary conversion.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125705759","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
THEMIS Logic Simulator - A Mix Mode, Multi-Level, Hierarchical, Interactive Digital Circuit Simulator THEMIS逻辑模拟器-一个混合模式,多层次,分层,交互式数字电路模拟器
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585768
Mahesh H. Doshi, R. B. Sullivan, Donald M. Schuler
A new logic simulator called THEMIS (TM) Logic Simulator for the design of LSI, VLSI and PCBs is described. THEMIS supports design verification and test development from initial specification in behavioral and RTL languages to analysis of the final layout at the gate and switch level. To allow the simulation of an entire system or check the correctness of a single circuit, the different modeling techniques can be easily intermixed. THEMIS is a highly interactive simulator that minimizes a hardware engineer's time and effort to debug logic. This paper gives an overview of THEMIS and its use by design engineers.
介绍了一种用于大规模集成电路、超大规模集成电路和pcb设计的新型逻辑模拟器THEMIS (TM)。THEMIS支持从行为和RTL语言的初始规范到门和开关级别的最终布局分析的设计验证和测试开发。为了模拟整个系统或检查单个电路的正确性,可以很容易地混合使用不同的建模技术。THEMIS是一个高度交互的模拟器,可以最大限度地减少硬件工程师调试逻辑的时间和精力。本文概述了THEMIS及其在设计工程师中的应用。
{"title":"THEMIS Logic Simulator - A Mix Mode, Multi-Level, Hierarchical, Interactive Digital Circuit Simulator","authors":"Mahesh H. Doshi, R. B. Sullivan, Donald M. Schuler","doi":"10.1109/DAC.1984.1585768","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585768","url":null,"abstract":"A new logic simulator called THEMIS (TM) Logic Simulator for the design of LSI, VLSI and PCBs is described. THEMIS supports design verification and test development from initial specification in behavioral and RTL languages to analysis of the final layout at the gate and switch level. To allow the simulation of an entire system or check the correctness of a single circuit, the different modeling techniques can be easily intermixed. THEMIS is a highly interactive simulator that minimizes a hardware engineer's time and effort to debug logic. This paper gives an overview of THEMIS and its use by design engineers.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126415841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
The Semi-Custom Revolution: How To Thrive or Survive 半定制革命:如何发展或生存
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585869
A. Zingale
The semicustom IC market, has exploded during the past few years (figure 1). Comprised of both gate arrays and standard cells, the market spans the range of IC technologies including bipolar, CMOS and linear. To meet the needs of the system engineers who implement semicustom designs, CAE tools have become increasingly important and more focused with respect to rapid, right-the-first-time product development. Panelists will discuss their company's semi-custom design automation solution in relation to the semicustom silicon vendor and the users of various semicustom designs and technologies. The session will close with a discussion on the future of CAE tools and the evolution of the semicustom market into standard cells and fullcustom design.
半定制IC市场在过去几年中呈爆炸式增长(图1)。该市场由门阵列和标准单元组成,涵盖了包括双极、CMOS和线性在内的各种IC技术。为了满足实现半定制设计的系统工程师的需求,CAE工具已经变得越来越重要,并且更加关注于快速,第一次正确的产品开发。小组成员将讨论他们公司的半定制设计自动化解决方案与半导体供应商和各种半导体设计和技术的用户的关系。会议最后将讨论CAE工具的未来,以及半定制市场向标准单元和完全定制设计的演变。
{"title":"The Semi-Custom Revolution: How To Thrive or Survive","authors":"A. Zingale","doi":"10.1109/DAC.1984.1585869","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585869","url":null,"abstract":"The semicustom IC market, has exploded during the past few years (figure 1). Comprised of both gate arrays and standard cells, the market spans the range of IC technologies including bipolar, CMOS and linear. To meet the needs of the system engineers who implement semicustom designs, CAE tools have become increasingly important and more focused with respect to rapid, right-the-first-time product development. Panelists will discuss their company's semi-custom design automation solution in relation to the semicustom silicon vendor and the users of various semicustom designs and technologies. The session will close with a discussion on the future of CAE tools and the evolution of the semicustom market into standard cells and fullcustom design.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127517035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Structure and Operation of a Relational Database System in a Cell-Oriented Integrated Circuit Design System 面向单元的集成电路设计系统中关系数据库系统的结构与运行
Pub Date : 1984-06-25 DOI: 10.1109/DAC.1984.1585784
L. Hollaar, B. Nelson, Tony M. Carter, R. Lorie
An important use for a database management system is in the storage and handling of information for engineering design, particularly integrated circuit design. However, most discussions on this topic have concentrated on the layout of shapes necessary to form the various circuit elements, or connections between user-defined cells. Equally important, but often disregarded, is the necessity to support other design tools in addition to graphics for circuit layout. These include simulators and automatic layout programs that take a description of a circuit at one level and convert it to a lower level. In addition, if cells are part of a library defined and maintained by others, operations must be included to handle the maintenance of generations or versions of a cell design. These aspects of a database management system for engineering design are discussed in light of the tools being developed at the University of Utah and an extended version of System R, developed at the IBM San Jose Research Laboratory. The Utah approach emphasizes the use of previously designed and tested cells, with interconnects at fixed locations, placed on a grid. Because it is unlikely that the designers of circuits designed all (or any) of the cells used in their circuits, special database management operations are necessary to assure that a consistent, working circuit results.
数据库管理系统的一个重要用途是存储和处理工程设计,特别是集成电路设计的信息。然而,关于这个主题的大多数讨论都集中在形成各种电路元件或用户定义单元之间的连接所需的形状布局上。同样重要但经常被忽视的是,除了电路布局的图形之外,还需要支持其他设计工具。这些包括模拟器和自动布局程序,它们在一个层次上对电路进行描述,并将其转换为更低的层次。此外,如果单元是由其他人定义和维护的库的一部分,则必须包含操作来处理单元设计的代或版本的维护。根据犹他大学正在开发的工具和IBM圣何塞研究实验室开发的system R的扩展版本,讨论了用于工程设计的数据库管理系统的这些方面。犹他州的方法强调使用先前设计和测试过的电池,在固定的位置相互连接,放置在电网上。由于电路设计者不可能设计电路中使用的所有(或任何)单元,因此必须进行特殊的数据库管理操作,以确保产生一致的工作电路。
{"title":"The Structure and Operation of a Relational Database System in a Cell-Oriented Integrated Circuit Design System","authors":"L. Hollaar, B. Nelson, Tony M. Carter, R. Lorie","doi":"10.1109/DAC.1984.1585784","DOIUrl":"https://doi.org/10.1109/DAC.1984.1585784","url":null,"abstract":"An important use for a database management system is in the storage and handling of information for engineering design, particularly integrated circuit design. However, most discussions on this topic have concentrated on the layout of shapes necessary to form the various circuit elements, or connections between user-defined cells. Equally important, but often disregarded, is the necessity to support other design tools in addition to graphics for circuit layout. These include simulators and automatic layout programs that take a description of a circuit at one level and convert it to a lower level. In addition, if cells are part of a library defined and maintained by others, operations must be included to handle the maintenance of generations or versions of a cell design. These aspects of a database management system for engineering design are discussed in light of the tools being developed at the University of Utah and an extended version of System R, developed at the IBM San Jose Research Laboratory. The Utah approach emphasizes the use of previously designed and tested cells, with interconnects at fixed locations, placed on a grid. Because it is unlikely that the designers of circuits designed all (or any) of the cells used in their circuits, special database management operations are necessary to assure that a consistent, working circuit results.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"439 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127603223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
An Approach to the Testing of Microprocessors 一种微处理器的测试方法
Pub Date : 1984-06-25 DOI: 10.5555/800033.800795
M. Karpovsky, R. V. Meter
In this paper, we describe functional testing techniques for detecting single stuck-at faults in a microprocessor. These techniques appear to be practical in that a relatively small number of machine language instructions is needed in the programs which implement them, the number of reference outputs which must be stored is small, and hardware redundancy for testing purposes is not needed. The efficacy of use of these functional testing techniques has been demonstrated by applying them to the testing of a simulated 4-bit microprocessor with simulated single stuck-at faults.
在本文中,我们描述了检测微处理器中单个卡在故障的功能测试技术。这些技术似乎是实用的,因为在实现它们的程序中需要相对少量的机器语言指令,必须存储的参考输出的数量很少,并且不需要用于测试目的的硬件冗余。通过将这些功能测试技术应用于具有模拟单卡故障的模拟4位微处理器的测试,证明了这些功能测试技术的有效性。
{"title":"An Approach to the Testing of Microprocessors","authors":"M. Karpovsky, R. V. Meter","doi":"10.5555/800033.800795","DOIUrl":"https://doi.org/10.5555/800033.800795","url":null,"abstract":"In this paper, we describe functional testing techniques for detecting single stuck-at faults in a microprocessor. These techniques appear to be practical in that a relatively small number of machine language instructions is needed in the programs which implement them, the number of reference outputs which must be stored is small, and hardware redundancy for testing purposes is not needed. The efficacy of use of these functional testing techniques has been demonstrated by applying them to the testing of a simulated 4-bit microprocessor with simulated single stuck-at faults.","PeriodicalId":188431,"journal":{"name":"21st Design Automation Conference Proceedings","volume":"03 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129165740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
期刊
21st Design Automation Conference Proceedings
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1