首页 > 最新文献

27th ACM/IEEE Design Automation Conference最新文献

英文 中文
Performance-driven constructive placement 绩效驱动的建设性安置
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114837
I. Lin, D. Du
A new approach to performance-driven placement based on a window concept is presented. Timing constraints are first converted to geometric shapes using the defined windows. A window represents a region in which all the modules along a given path can be placed without degrading the circuit performance. Then a constructive placement process uses the window information to select an unplaced module, and to find all appropriate position for the module. This approach represents a unified way to consider both timing and geometric constraints during the VLSI placement process. The experimental results show that improvement of circuit performance can be achieved by sufficient use of the window information.<>
提出了一种基于窗口概念的性能驱动布局新方法。首先使用定义的窗口将时间约束转换为几何形状。窗口表示沿给定路径放置所有模块而不会降低电路性能的区域。然后利用窗口信息选择未放置的模块,并为模块找到所有合适的位置。这种方法代表了在超大规模集成电路放置过程中考虑时间和几何约束的统一方法。实验结果表明,充分利用窗口信息可以提高电路的性能。
{"title":"Performance-driven constructive placement","authors":"I. Lin, D. Du","doi":"10.1109/DAC.1990.114837","DOIUrl":"https://doi.org/10.1109/DAC.1990.114837","url":null,"abstract":"A new approach to performance-driven placement based on a window concept is presented. Timing constraints are first converted to geometric shapes using the defined windows. A window represents a region in which all the modules along a given path can be placed without degrading the circuit performance. Then a constructive placement process uses the window information to select an unplaced module, and to find all appropriate position for the module. This approach represents a unified way to consider both timing and geometric constraints during the VLSI placement process. The experimental results show that improvement of circuit performance can be achieved by sufficient use of the window information.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115002858","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}
引用次数: 42
A hierarchy preserving hierarchical compactor 保留层次结构的层次压缩器
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114886
D. Marple
A one-dimensional IC layout compactor is presented which simultaneously compacts the contents of all cells of the layout hierarchy without changing this hierarchy. The compactor performs both compaction and wire length minimization hierarchically using the power of the Simplex method for linear programs. Compaction of arrays of overlapping cells and symmetry preserving compaction are also handled, since these are special cases of layout hierarchies. Using dedicated simplex algorithms for compaction and wire length minimization, a globally optimal result is produced quickly and efficiently, without the use of protection frames or domains and terminals. The compactor corrects design rule violations, preserves wire widths, and maintains terminal connections automatically. It does not yet introduce jogs in wires automatically. Results are provided for a few CMOS modules, including a ROM and a SRAM core.<>
提出了一种一维集成电路布局压缩器,它在不改变布局层次结构的情况下同时压缩布局层次结构中所有单元的内容。压缩器使用线性程序的单纯形法的力量分层地执行压缩和导线长度最小化。由于这些是布局层次结构的特殊情况,因此还处理重叠单元数组的压缩和保持对称的压缩。使用专用的单纯形算法进行压缩和导线长度最小化,可以快速有效地产生全局最佳结果,而无需使用保护帧或域和终端。压实机纠正设计规则违规,保持导线宽度,并保持终端连接自动。它还没有自动引入电线的慢跑。给出了几个CMOS模块的结果,包括一个ROM和一个SRAM核心。
{"title":"A hierarchy preserving hierarchical compactor","authors":"D. Marple","doi":"10.1109/DAC.1990.114886","DOIUrl":"https://doi.org/10.1109/DAC.1990.114886","url":null,"abstract":"A one-dimensional IC layout compactor is presented which simultaneously compacts the contents of all cells of the layout hierarchy without changing this hierarchy. The compactor performs both compaction and wire length minimization hierarchically using the power of the Simplex method for linear programs. Compaction of arrays of overlapping cells and symmetry preserving compaction are also handled, since these are special cases of layout hierarchies. Using dedicated simplex algorithms for compaction and wire length minimization, a globally optimal result is produced quickly and efficiently, without the use of protection frames or domains and terminals. The compactor corrects design rule violations, preserves wire widths, and maintains terminal connections automatically. It does not yet introduce jogs in wires automatically. Results are provided for a few CMOS modules, including a ROM and a SRAM core.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116960407","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}
引用次数: 42
The VHDL validation suite VHDL验证套件
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114819
J. Armstrong, C. Cho, Sandeep Shah, C. Kosaraju
A validation suite for the IEEE standard VHSIC Hardware Description Language (VHDL) is discussed along with its executive manager. Test points are generated from the VHDL LRM (language reference manual) syntax diagrams and sentences. Each test in the suite contains a test header which is specially formatted and keeps information such as test point, test objective, test result, and test type. The suit executive manager is menu-driven and efficiently classifies the tests based on different criterion defined in the test header. Coverage is defined to measure how closely a VHDL tool covers the LRM and is also computed by the suite executive manager.<>
讨论了IEEE标准VHSIC硬件描述语言(VHDL)的验证套件及其执行器。测试点是从VHDL LRM(语言参考手册)语法图和句子中生成的。套件中的每个测试都包含一个特殊格式的测试头,并保存诸如测试点、测试目标、测试结果和测试类型等信息。套装执行经理是菜单驱动的,并根据测试头中定义的不同标准有效地对测试进行分类。覆盖率被定义为度量VHDL工具覆盖LRM的程度,并且也由套件执行经理计算。
{"title":"The VHDL validation suite","authors":"J. Armstrong, C. Cho, Sandeep Shah, C. Kosaraju","doi":"10.1109/DAC.1990.114819","DOIUrl":"https://doi.org/10.1109/DAC.1990.114819","url":null,"abstract":"A validation suite for the IEEE standard VHSIC Hardware Description Language (VHDL) is discussed along with its executive manager. Test points are generated from the VHDL LRM (language reference manual) syntax diagrams and sentences. Each test in the suite contains a test header which is specially formatted and keeps information such as test point, test objective, test result, and test type. The suit executive manager is menu-driven and efficiently classifies the tests based on different criterion defined in the test header. Coverage is defined to measure how closely a VHDL tool covers the LRM and is also computed by the suite executive manager.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114403735","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}
引用次数: 3
Architecture synthesis of high-performance application-specific processors 高性能应用程序特定处理器的体系结构综合
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114915
M. Breternitz, John Paul Shen
An automated approach, called architecture synthesis, for designing application-specific processors is presented. The key principles of the application-specific processor design (ASPD) methodology include: a semicustom compilation-driven design/implementation approach, the exploitation of fine-grained parallelism for high performance, and the adaptation of datapath topology to the data transfers required by the application. The powerful microcode compilation techniques of percolation scheduling and pipeline scheduling extract and enhance the parallelism in the application object code to generate all optimized specification of the target processor. Implementation optimization is performed to allocate functional units and register files. Graph-coloring algorithms minimize the amount of hardware needed to exploit available parallelism. Data memory employs an organization with multiple banks. Compilation techniques are used to allocate data over the memory banks to enhance parallel access.<>
提出了一种用于设计特定于应用程序的处理器的自动化方法,称为体系结构综合。特定于应用程序的处理器设计(ASPD)方法的关键原则包括:半定制的编译驱动的设计/实现方法,利用细粒度并行性实现高性能,以及根据应用程序所需的数据传输调整数据路径拓扑。渗透调度和流水线调度等强大的微码编译技术提取并增强了应用程序目标代码的并行性,生成目标处理器的所有优化规范。执行实现优化来分配功能单元和注册文件。图形着色算法可以最大限度地减少利用可用并行性所需的硬件数量。数据存储器采用具有多个存储库的组织。编译技术用于在内存库上分配数据,以增强并行访问。
{"title":"Architecture synthesis of high-performance application-specific processors","authors":"M. Breternitz, John Paul Shen","doi":"10.1109/DAC.1990.114915","DOIUrl":"https://doi.org/10.1109/DAC.1990.114915","url":null,"abstract":"An automated approach, called architecture synthesis, for designing application-specific processors is presented. The key principles of the application-specific processor design (ASPD) methodology include: a semicustom compilation-driven design/implementation approach, the exploitation of fine-grained parallelism for high performance, and the adaptation of datapath topology to the data transfers required by the application. The powerful microcode compilation techniques of percolation scheduling and pipeline scheduling extract and enhance the parallelism in the application object code to generate all optimized specification of the target processor. Implementation optimization is performed to allocate functional units and register files. Graph-coloring algorithms minimize the amount of hardware needed to exploit available parallelism. Data memory employs an organization with multiple banks. Compilation techniques are used to allocate data over the memory banks to enhance parallel access.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116906412","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}
引用次数: 41
Logic optimization algorithm by linear programming approach 逻辑优化算法采用线性规划方法
Pub Date : 1990-06-24 DOI: 10.1145/123186.123299
N. Kageyama, Chihei Miura, Tsuguo Shimizu
A new logic synthesis algorithm for reducing the delay time with the least increase of gate is presented. This algorithm uses a linear programming approach and makes it possible for delay and gate optimization to be achieved simultaneously from the global point of view. Therefore, this new algorithm prevents the generation of redundant logic arising from the delay time improvement, which is a weakness of the conventional method.<>
提出了一种以最小栅极增量来降低延迟时间的逻辑综合算法。该算法采用线性规划方法,使得从全局角度同时实现延迟和门的优化成为可能。因此,该算法避免了由于延迟时间的提高而产生的冗余逻辑,这是传统方法的一个缺点。
{"title":"Logic optimization algorithm by linear programming approach","authors":"N. Kageyama, Chihei Miura, Tsuguo Shimizu","doi":"10.1145/123186.123299","DOIUrl":"https://doi.org/10.1145/123186.123299","url":null,"abstract":"A new logic synthesis algorithm for reducing the delay time with the least increase of gate is presented. This algorithm uses a linear programming approach and makes it possible for delay and gate optimization to be achieved simultaneously from the global point of view. Therefore, this new algorithm prevents the generation of redundant logic arising from the delay time improvement, which is a weakness of the conventional method.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132230283","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
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation 具有属性边的共享二进制决策图,用于有效的布尔函数操作
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114828
S. Minato, N. Ishiura, S. Yajima
The efficiency of Boolean function manipulation depends on the form of representation of Boolean functions. Binary decision diagrams (BDDs) are graph representations proposed by S.B. Akers (1978) and R.E. Bryant (1985). BDDs have some properties which can be used to enable efficient Boolean function manipulation. The authors describe a technique of more efficient Boolean function manipulation that uses shared binary decision diagrams (SBDDs) with attributed edges. The implements include an ordering algorithm of input variables and a method of handling 'don't care'. A Boolean function manipulator using the above methods is developed and it is shown that the manipulator is very efficient in terms of speed and storage.<>
布尔函数操作的效率取决于布尔函数的表示形式。二元决策图(bdd)是S.B. Akers(1978)和R.E. Bryant(1985)提出的图形表示。bdd有一些属性可以用来实现有效的布尔函数操作。作者描述了一种更有效的布尔函数操作技术,该技术使用带有属性边的共享二进制决策图(sdd)。实现包括输入变量的排序算法和处理“不关心”的方法。利用上述方法开发了一个布尔函数机械手,并证明了该机械手在速度和存储方面是非常高效的。
{"title":"Shared binary decision diagram with attributed edges for efficient Boolean function manipulation","authors":"S. Minato, N. Ishiura, S. Yajima","doi":"10.1109/DAC.1990.114828","DOIUrl":"https://doi.org/10.1109/DAC.1990.114828","url":null,"abstract":"The efficiency of Boolean function manipulation depends on the form of representation of Boolean functions. Binary decision diagrams (BDDs) are graph representations proposed by S.B. Akers (1978) and R.E. Bryant (1985). BDDs have some properties which can be used to enable efficient Boolean function manipulation. The authors describe a technique of more efficient Boolean function manipulation that uses shared binary decision diagrams (SBDDs) with attributed edges. The implements include an ordering algorithm of input variables and a method of handling 'don't care'. A Boolean function manipulator using the above methods is developed and it is shown that the manipulator is very efficient in terms of speed and storage.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134231692","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}
引用次数: 454
SKILL: a CAD system extension language 技能:CAD系统扩展语言
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114865
T. J. Barnes
SKILL is a programming language that supports both command entry and procedural customization in the Opus design framework. The author examines the requirements that motivate the provision of a programming language available to the user and describes some of the technical characteristics of the language design and implementation. Experience with the language is described and a number of programming examples are presented.<>
SKILL是一种编程语言,在Opus设计框架中支持命令输入和过程定制。作者考察了提供一种可供用户使用的编程语言的需求,并描述了语言设计和实现的一些技术特征。描述了使用该语言的经验,并给出了一些编程示例。
{"title":"SKILL: a CAD system extension language","authors":"T. J. Barnes","doi":"10.1109/DAC.1990.114865","DOIUrl":"https://doi.org/10.1109/DAC.1990.114865","url":null,"abstract":"SKILL is a programming language that supports both command entry and procedural customization in the Opus design framework. The author examines the requirements that motivate the provision of a programming language available to the user and describes some of the technical characteristics of the language design and implementation. Experience with the language is described and a number of programming examples are presented.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131904064","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}
引用次数: 50
Datapath generator based on gate-level symbolic layout 基于门级符号布局的数据路径生成器
Pub Date : 1990-06-24 DOI: 10.1145/123186.123314
Nobu Matsumoto, Y. Watanabe, K. Usami, Y. Sugeno, H. Hatada, S. Mori
A data-path generator that generates high-density LSI mask layouts equivalent to hand-crafted ones is described. An entry of the generator is a hierarchical symbolic layout at the gate level. The bit-and-row-slicing technique is a key feature for realizing large-size and high-density data-path generation. A 21 K-transistor data-path whose density is 5.64 KTr/mm/sup 2/, greater than the 5.38 KTr/mm/sup 2/ of a hand-crafted datapath, was generated using 1- mu m CMOS technology.<>
描述了一种数据路径生成器,它可以生成高密度LSI掩模布局,相当于手工制作的掩模布局。生成器的入口是门级的分层符号布局。位行切片技术是实现大尺寸高密度数据路径生成的关键技术。采用1 μ m CMOS技术,生成了密度为5.64 KTr/mm/sup 2/的21 k晶体管数据路径,其密度大于手工制作数据路径的5.38 KTr/mm/sup 2/。
{"title":"Datapath generator based on gate-level symbolic layout","authors":"Nobu Matsumoto, Y. Watanabe, K. Usami, Y. Sugeno, H. Hatada, S. Mori","doi":"10.1145/123186.123314","DOIUrl":"https://doi.org/10.1145/123186.123314","url":null,"abstract":"A data-path generator that generates high-density LSI mask layouts equivalent to hand-crafted ones is described. An entry of the generator is a hierarchical symbolic layout at the gate level. The bit-and-row-slicing technique is a key feature for realizing large-size and high-density data-path generation. A 21 K-transistor data-path whose density is 5.64 KTr/mm/sup 2/, greater than the 5.38 KTr/mm/sup 2/ of a hand-crafted datapath, was generated using 1- mu m CMOS technology.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116438176","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}
引用次数: 5
A hardware implementation of gridless routing based on content addressable memory 一种基于内容可寻址存储器的无网格路由的硬件实现
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114933
M. Sato, K. Kubota, T. Ohtsuki
A new gridless router accelerated by content addressable memory (CAM) is presented. A gridless version of the line-expansion algorithm is implemented, which always finds a path if one exists. The router runs in linear time by means of the CAM-based accelerator. Experimental results show that the more obstacles there are in the routing region, the more effective the CAM-based approach is. The CAM-based layout engine provides the flexibility to deal with a variety of geometrical search problems for VLSI design. Another advantage is that complicated coding for sophisticated data structures depending on subproblems is not necessary.<>
提出了一种基于内容可寻址存储器(CAM)的新型无网格路由器。实现了一种无网格版本的线扩展算法,如果存在路径,它总是找到路径。路由器通过基于cam的加速器在线性时间内运行。实验结果表明,路径区域障碍物越多,基于cam的方法越有效。基于cam的布局引擎为超大规模集成电路设计提供了处理各种几何搜索问题的灵活性。另一个优点是不需要对依赖于子问题的复杂数据结构进行复杂的编码。
{"title":"A hardware implementation of gridless routing based on content addressable memory","authors":"M. Sato, K. Kubota, T. Ohtsuki","doi":"10.1109/DAC.1990.114933","DOIUrl":"https://doi.org/10.1109/DAC.1990.114933","url":null,"abstract":"A new gridless router accelerated by content addressable memory (CAM) is presented. A gridless version of the line-expansion algorithm is implemented, which always finds a path if one exists. The router runs in linear time by means of the CAM-based accelerator. Experimental results show that the more obstacles there are in the routing region, the more effective the CAM-based approach is. The CAM-based layout engine provides the flexibility to deal with a variety of geometrical search problems for VLSI design. Another advantage is that complicated coding for sophisticated data structures depending on subproblems is not necessary.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121981797","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}
引用次数: 7
A fault analysis method for synchronous sequential circuits 同步顺序电路的故障分析方法
Pub Date : 1990-06-24 DOI: 10.1109/DAC.1990.114950
T. Kuo, Jau-Yien Lee, Jhing-Fa Wang
A new fault analysis method for synchronous sequential circuits is presented. Using the iterative array method, extended forward propagation and backward implication are performed, based on the observed values at primary outputs, to deduce the actual values of each line to determine its fault status. Any stuck fault can be identified, even in a circuit without any initialization sequence. A fault which is covered is tested unconditionally; thus the results obtained would not be invalidated in the presence of tested or untestable lines. Examples are given to demonstrate the ability of the method.<>
提出了一种同步时序电路故障分析的新方法。采用迭代阵列法,根据主要输出的观测值进行扩展前向传播和后向隐含,推导出每条线路的实际值,从而确定线路的故障状态。任何卡故障都可以被识别,即使在没有任何初始化顺序的电路中。被覆盖的故障是无条件测试的;因此,得到的结果不会在测试线或不可测试线的存在下失效。最后给出了算例,说明了该方法的可行性
{"title":"A fault analysis method for synchronous sequential circuits","authors":"T. Kuo, Jau-Yien Lee, Jhing-Fa Wang","doi":"10.1109/DAC.1990.114950","DOIUrl":"https://doi.org/10.1109/DAC.1990.114950","url":null,"abstract":"A new fault analysis method for synchronous sequential circuits is presented. Using the iterative array method, extended forward propagation and backward implication are performed, based on the observed values at primary outputs, to deduce the actual values of each line to determine its fault status. Any stuck fault can be identified, even in a circuit without any initialization sequence. A fault which is covered is tested unconditionally; thus the results obtained would not be invalidated in the presence of tested or untestable lines. Examples are given to demonstrate the ability of the method.<<ETX>>","PeriodicalId":118552,"journal":{"name":"27th ACM/IEEE Design Automation Conference","volume":"225 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123982882","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
期刊
27th ACM/IEEE Design Automation Conference
全部 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