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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
FET: Small: Smart Probabilistic Computation with Limited Resources
-
批准号:2006704
-
项目类别:Standard Grant
-
资助金额:$49.21万
-
财政年份:2020
-
负责人:John Hayes
-
依托单位:
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
-
依托单位:
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
-
依托单位:
Hydrogen Isotopic Biogeochemistry
-
批准号:9986727
-
项目类别:Standard Grant
-
资助金额:$14.0万
-
财政年份:2000
-
负责人:John Hayes
-
依托单位:
Development of Accurate Radiocarbon Chronologies for Antarctic Margin Sediments
-
批准号:9909782
-
项目类别:Continuing Grant
-
资助金额:$33.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
-
依托单位:
海外基金