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
批准号:
0196470
负责人:
Michael Hsiao
金额:
$32.67万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-08-15 至 2007-01-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
-
批准号:0093042
-
项目类别: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
-
负责人:郝蕾
-
依托单位: