CAREER: Spectral Techniques for Functional Testing of Sequential Circuits and System-On-A-Chip
CAREER: Spectral Techniques for Functional Testing of Sequential Circuits and System-On-A-Chip
批准号:
0093042
负责人:
Michael Hsiao
金额:
$32.67万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-02-01 至 2001-09-30
中文摘要
虽然目前的电路测试技术是有限的,不断增加的电路尺寸,拟议的研究探讨了一个新的概念,基于频谱的测试生成,以解决日益庞大和复杂的电路测试。 一个国家的最先进的频谱为基础的技术芯片功能测试正在探索,实现极高的故障覆盖率在短的执行时间。在这种方法中,电路被视为一个系统,可识别的输入输出特性,而不是传统的网表的原语。 对被测系统的输入/输出信号进行频谱特征提取和分析,并利用得到的数据预测和构造智能测试模式。此外,这种功能谱知识还提供了用于内建自测试(BIST)的新手段,也适用于片上系统。 本研究解决了基于频谱的测试框架中的相关问题:(a)针对给定电路开发各种频谱提取技术;(B)分析不同的频谱基础(正交和非正交)以及它们如何影响测试的频谱特性;以及(c)应用变换域来识别主频率分量以生成智能模式。
英文摘要
While current circuit testing techniques are limited by the increasing circuit size, the proposed research explores a new concept of spectrum-based test generation to tackle testing of increasingly large and complex circuits. A state-of-the-art spectrum-based technique for chip functional testing is being explored that achieves extremely high fault coverages in short execution times. In this approach, the circuit is viewed as a system identifiable by its input-output characteristics instead of a traditional netlist of primitives. Spectral characteristics are extracted and analyzed for the input/output signals of the system under test, and the resulting data are used to predict and construct intelligent test patterns. In addition, this functional spectral knowledge also provides new means for built-in-self-test (BIST), applicable also for system-on-a-chip. This research addresses the relevant issues in the spectrum-based testing framework: (a) the development of various techniques for spectral extraction for a given circuit; (b) the analysis of different spectral bases (orthogonal and non-orthogonal) and how they can influence spectral characteristics for testing; and (c) the application of transform domain to identify dominant frequency components to generate intelligent patterns.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF CORE: Small: Hybrid NLP and Formal Techniques for Synthesizing Assertions and Identifying Ambiguities from English
-
批准号:2101021
-
项目类别:Standard Grant
-
资助金额:$49.98万
-
财政年份:2021
-
负责人:Michael Hsiao
-
依托单位:
SHF:Small:Design Validation Using Multiple Concurrent Abstract Models and GPGPUs
-
批准号:1422054
-
项目类别:Standard Grant
-
资助金额:$41.83万
-
财政年份:2014
-
负责人:Michael Hsiao
-
依托单位:
SHF: Small: Exploring Swarm Intelligence for Design Validation
-
批准号:1016675
-
项目类别:Standard Grant
-
资助金额:$36.34万
-
财政年份:2010
-
负责人:Michael Hsiao
-
依托单位:
SGER: Semi-Formal Design Validation with Swarm Intelligence
-
批准号:0840936
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Michael Hsiao
-
依托单位:
CT-ISG: POCKET: A Technical and Behavioral Concept for Protecting Children's Online Privacy
-
批准号:0524052
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2005
-
负责人:Michael Hsiao
-
依托单位:
CRCD/EI: Curriculum and Course Modules for Bridging the Verification Gap
-
批准号:0417340
-
项目类别:Continuing Grant
-
资助金额:$37.18万
-
财政年份:2004
-
负责人:Michael Hsiao
-
依托单位:
Formal Verification of Large Sequential Systems Using Success-Driven ATPG
-
批准号:0305881
-
项目类别:Continuing Grant
-
资助金额:$22.5万
-
财政年份:2003
-
负责人:Michael Hsiao
-
依托单位:
CAREER: Spectral Techniques for Functional Testing of Sequential Circuits and System-On-A-Chip
-
批准号:0196470
-
项目类别:Continuing Grant
-
资助金额:$32.67万
-
财政年份:2001
-
负责人:Michael Hsiao
-
依托单位:
国内基金
海外基金
一种新型的PET/spectral-CT/CT三模态图像引导的小动物放射治疗平台的设计与关键技术研究
-
批准号:LTGY23H220001
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:王慧
-
依托单位:
关于spectral集和spectral拓扑若干问题研究
-
批准号:11661057
-
项目类别:地区科学基金项目
-
资助金额:36.0万元
-
批准年份:2016
-
负责人:徐晓泉
-
依托单位:
S3AGA样本(Spitzer-SDSS Spectral Atlas of Galaxies and AGNs)及其AGN研究
-
批准号:11473055
-
项目类别:面上项目
-
资助金额:95.0万元
-
批准年份:2014
-
负责人:郝蕾
-
依托单位: