Studies on logic design and testing methodology for very high performance VLSIs
Studies on logic design and testing methodology for very high performance VLSIs
批准号:
11694168
负责人:
SASAO Tsutomu
金额:
$2.18万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (B)
财政年份:
1999
资助国家:
日本
项目状态:
已结题
起止时间:
1999 至 2001
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Deep sub-micron and high-performance circuits often have a delay variation problem caused by noise, process, and power. Most of manufacturing defects of the circuits cause timing-related failures too. In order to guarantee high reliability of the high performance circuits, we investigated design and test issues on timing failures. Path delay fault model is known as one of a well-known timing failure to be tested. In test generation for path delay faults, it is important to identify untestable paths prior to test generation. We first developed a method to identify untestable paths of a given circuit. Though methods proposed earlier required long time to process a circuit with large number of paths, our method could deal with such a circuit with a short computation time without sacrificing the ability of untestable path identification. In addition, we proposed a method to extract a set of paths which should be tested and more likely be faulty. Next we considered the problem of validating flip-flop data hold time requirements in synchronous sequential circuits, which is different from flip-flop set-up time errors like path delay faults. Three fault models and a test generation procedure were proposed that are related to the presence of short paths in the circuit. Finally we investigated a methodology of design and test for detecting timing faults of high performance circuits using a low-speed LSI tester. In case of using a low-speed tester, test compression is a necessary technique. In order to obtain a test set which can be highly compressed, we developed a method for identifying don't care inputs of a given test set. We also proposed a method to compress a test set with don't care inputs and showed the effectiveness of the proposed method.
期刊论文(62)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Y. Iguchi, T. Sasao, M. Matsuura, and A. Iseno: "An Evaluation System for Logic Functions Based on Decision Diagrams"IEICE Trans, Information and Communication Eng.. Vol.J84-D-I,No.6. 523-530 (2001)
Y. Iguchi、T. Sasao、M. Matsuura 和 A. Iseno:“基于决策图的逻辑函数评估系统”IEICE Trans、Information and Communication Eng.。Vol.J84-D-I,No.6。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
梶原 誠司: "論理回路における遅延テスト不要パスの高速導出法"電子情報通信学会論文誌D-1. J98-D-1・7. 888-896 (1999)
Seiji Kajiwara:“逻辑电路中免延迟测试路径的快速推导方法”IEICE Transactions J98-D-1・7 (1999)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
S. Kajihara and T. Sasao: "On the Adders with Minimum Tests"IPSJ Journal. Vol.42,No.4. 1045-1053 (2001)
S. Kajihara 和 T. Sasao:“论最少测试的加法器”IPSJ 期刊。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
梶原誠司: "最小テスト集合でテスト可能な加算器について"情報処理学会論文誌. 採録決定. (2001)
Seiji Kajiwara:“关于可以用最小测试集进行测试的加法器”,日本信息处理协会验收决定(2001)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 27 条
Logic synthesis using linear transformation and memories.
-
批准号:23300016
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$5.82万
-
财政年份:2011
-
负责人:SASAO Tsutomu
-
依托单位:
A study on the realization and application of content-addressable memory using general-purpose memory
-
批准号:19300013
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$5.08万
-
财政年份:2007
-
负责人:SASAO Tsutomu
-
依托单位:
Research on programmable logic elements using the virtual wiring and their logic synthesis method
-
批准号:14380146
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$5.57万
-
财政年份:2002
-
负责人:SASAO Tsutomu
-
依托单位:
Development of hardware logic simulator using decision diagrams
-
批准号:12558030
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.93万
-
财政年份:2000
-
负责人:SASAO Tsutomu
-
依托单位:
Decomposition of Large-Scale Logic Functions
-
批准号:10680360
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:1998
-
负责人:SASAO Tsutomu
-
依托单位:
A Research on the realization of three-level logic networks
-
批准号:08680374
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.54万
-
财政年份:1996
-
负责人:SASAO Tsutomu
-
依托单位:
A Research on the development of a logic synthesis system using EXOR gates
-
批准号:05558032
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B)
-
资助金额:$2.62万
-
财政年份:1993
-
负责人:SASAO Tsutomu
-
依托单位:
A Research on the Representation and Manipulation of Logical Expressions using Ternary Decision Diagrams
-
批准号:05680279
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1993
-
负责人:SASAO Tsutomu
-
依托单位:
Development of A Silicon Complilation System for Rewritable LSIs
-
批准号:02555073
-
项目类别:Grant-in-Aid for Developmental Scientific Research (B)
-
资助金额:$2.82万
-
财政年份:1990
-
负责人:SASAO Tsutomu
-
依托单位:
Logic synthesis using EXOR gates
-
批准号:02805046
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1990
-
负责人:SASAO Tsutomu
-
依托单位:
Decomposition of large-scale Programmable logic arrays
-
批准号:63550274
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.15万
-
财政年份:1988
-
负责人:SASAO Tsutomu
-
依托单位:
海外基金