Functional Testing of Complex Digital Systems
Functional Testing of Complex Digital Systems
批准号:
9503463
负责人:
John Hayes
金额:
$20.2万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-08-01 至 1999-07-31
中文摘要
这项研究是在确保满足标准测试质量目标的同时,直接在功能级别测试VLSI电路的技术。一种称为诱发功能故障(IF)模型的高级故障模型正在研究中。使用该模型,可以将中频故障类与物理故障类耦合,从而在检测到中频故障的同时也检测到物理故障。该方法的优点是易于导出近最小测试集,并且可以在其他电路中重用测试集。正在探索顺序电路的预先计算测试的构造、使用和重用。在这方面,平衡和功能特性在简化测试生成和提高故障覆盖率方面的应用正在研究中。内置的自我测试方法,促进功能测试方法的实施和检测和消除设计错误也在探索中。
英文摘要
This research is on techniques for testing VLSI circuits directly at functional levels, while ensuring that standard testing quality goals are met. A high-level fault model called the induced functional fault (IF) model is being investigated. With this model, an IF fault class can be coupled to a physical fault class so that detection of IF faults ensures detection of physical faults. Advantages of this approach are easy derivation of near- minimal test sets, and reuse of tests in other circuits. The construction, use and reuse of precomputed tests for sequential circuits are being explored. In this regard, the application of balance and functional properties to simplifying test generation and improving fault coverage are being studied. Built-in self- testing methods that facilitate the implementation of functional testing methods and the detection and elimination of design errors are also being explored.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Defining the oxidative stress-related mechanisms by which activation of the transcription factor Nrf2 arrests and resolves liver fibrosis
-
批准号:MR/T014644/1
-
项目类别:Research Grant
-
资助金额:$258.09万
-
财政年份:2020
-
负责人:John Hayes
-
依托单位:
FET: Small: Smart Probabilistic Computation with Limited Resources
-
批准号:2006704
-
项目类别:Standard Grant
-
资助金额:$49.21万
-
财政年份:2020
-
负责人:John Hayes
-
依托单位:
Contribution by NRF2 upregulation to lung carcinogenesis, and the possible therapeutic value of NRF2 inhibition by GSK-3
-
批准号:MR/N009851/1
-
项目类别:Research Grant
-
资助金额:$125.9万
-
财政年份:2016
-
负责人:John Hayes
-
依托单位:
SHF: Small: Stochastic Computing Techniques for Real-Time Image-Processing Applications
-
批准号:1318091
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2013
-
负责人:John Hayes
-
依托单位:
Pivotal role of the Keap1-Nrf2 pathway in the pathogenesis and prevention of non-alcoholic steatohepatitis induced cirrhosis
-
批准号:MR/J001465/1
-
项目类别:Research Grant
-
资助金额:$75.53万
-
财政年份:2012
-
负责人:John Hayes
-
依托单位:
SHF: Small: Physically Adaptive Computing and its Applications
-
批准号:1017142
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2010
-
负责人:John Hayes
-
依托单位:
Public and Third Sector Management: The Governance of Partnerships
-
批准号:RES-073-27-0033
-
项目类别:Fellowship
-
资助金额:$6.47万
-
财政年份:2010
-
负责人:John Hayes
-
依托单位:
National Earthquake Hazards Reduction Program (NEHRP)
-
批准号:0926222
-
项目类别:Interagency Agreement
-
资助金额:$8.5万
-
财政年份:2009
-
负责人:John Hayes
-
依托单位:
National Earthquake Hazards Reduction Program (NEHRP)
-
批准号:0819958
-
项目类别:Interagency Agreement
-
资助金额:$8.5万
-
财政年份:2008
-
负责人:John Hayes
-
依托单位:
Planning Grant for the Ordway-Swisher Biological Station
-
批准号:0829395
-
项目类别:Standard Grant
-
资助金额:$2.08万
-
财政年份:2008
-
负责人:John Hayes
-
依托单位:
National Earthquake Hazards Reduction Program (NEHRP)
-
批准号:0711852
-
项目类别:Interagency Agreement
-
资助金额:$8.5万
-
财政年份:2007
-
负责人:John Hayes
-
依托单位:
Circuit Analysis, Synthesis and Test under Uncertainty
-
批准号:0702276
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2007
-
负责人:John Hayes
-
依托单位:
National Earthquake Hazards Reduction Program
-
批准号:0630251
-
项目类别:Interagency Agreement
-
资助金额:$8.5万
-
财政年份:2006
-
负责人:John Hayes
-
依托单位:
A Compact System for Continuous-flow Accelerator Mass Spectrometry
-
批准号:0321045
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:John Hayes
-
依托单位:
Development of Accurate Radiocarbon Chronologies for Antarctic Margin Sediments
-
批准号:9909782
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:2000
-
负责人:John Hayes
-
依托单位:
Hydrogen Isotopic Biogeochemistry
-
批准号:9986727
-
项目类别:Standard Grant
-
资助金额:$14.0万
-
财政年份:2000
-
负责人:John Hayes
-
依托单位:
On-Line Monitoring of Safety-Critical Embedded Systems
-
批准号:0073406
-
项目类别:Continuing Grant
-
资助金额:$47.93万
-
财政年份:2000
-
负责人:John Hayes
-
依托单位:
Lifetime Validation of IP-Based Systems-on-a-Chip
-
批准号:9872066
-
项目类别:Continuing Grant
-
资助金额:$24.6万
-
财政年份:1998
-
负责人:John Hayes
-
依托单位:
Operation of a National Ocean Sciences Accelerator Mass Spectrometry Facility of the Woods Hole Oceanographic Institution
-
批准号:9807266
-
项目类别:Cooperative Agreement
-
资助金额:$290.39万
-
财政年份:1998
-
负责人:John Hayes
-
依托单位:
High-Precision Hydrogen Isotopic GCMS
-
批准号:9711284
-
项目类别:Continuing Grant
-
资助金额:$17.24万
-
财政年份:1997
-
负责人:John Hayes
-
依托单位:
海外基金