Research in Compiled Logic Simulation
编译逻辑仿真研究
基本信息
- 批准号:9006444
- 负责人:
- 金额:$ 5.12万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1990
- 资助国家:美国
- 起止时间:1990-07-15 至 1991-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This research is on compiled simulation of IC designs. Topics explored are: (1) purely compiled methods for unit-delay and multi- delay simulation, (2) event-driven compiled simulation for multi- delay and nominal-delay simulation, and (3) hierarchal incremental compilation to reduce recompilation time. Existing techniques for purely compiled unit-delay simulation are being and extended to handle cyclic circuits. These techniques are also being used as a basis for creating a purely compiled multi-delay simulator. Techniques for zero-delay, event-driven, compiles simulation are being adapted to multi-delay and nominal-delay simulation. Finally, techniques for hierarchical compiled simulation are being extended to handle cyclic circuits, and are being adapted to perform compile-time partitioning of sub-circuits.
本研究是对集成电路设计的编译仿真。探讨的主题有:(1)纯编译方法用于单位延迟和多延迟仿真,(2)事件驱动的多延迟和名义延迟仿真编译仿真,以及(3)分层增量编译以减少重新编译时间。现有的纯编译单元延迟仿真技术正在得到改进和扩展,以处理循环电路。这些技术也被用作创建纯编译的多延迟模拟器的基础。零延迟、事件驱动、编译仿真技术正适应于多延迟和名义延迟仿真。最后,层次编译模拟技术正在扩展到处理循环电路,并正在适应执行子电路的编译时划分。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Peter Maurer其他文献
Correction: Efect of coupling primary sedimentation tank (PST) and microscreen (MS) to remove particulate organic carbon (POC): a study to mitigate energy demand in municipal wastewater treatment plants
- DOI:
10.1186/s42834-023-00191-w - 发表时间:
2023-09-12 - 期刊:
- 影响因子:4.800
- 作者:
Behnam Askari Lasaki;Peter Maurer;Harald Schönberger - 通讯作者:
Harald Schönberger
A novel integrated biorefinery for enhancing municipal wastewater treatment
- DOI:
10.1016/j.wroa.2025.100373 - 发表时间:
2025-09-01 - 期刊:
- 影响因子:8.200
- 作者:
Behnam Askari Lasaki;Peter Maurer;Harald Schönberger - 通讯作者:
Harald Schönberger
Empowering municipal wastewater treatment: Enhancing particulate organic carbon removal via chemical advanced primary treatment
赋予城市污水处理能力:通过化学强化一级处理提高颗粒有机碳去除率
- DOI:
10.1016/j.eti.2023.103436 - 发表时间:
2023-11-01 - 期刊:
- 影响因子:7.100
- 作者:
Behnam Askari Lasaki;Peter Maurer;Harald Schönberger;Emilia Palomeque Alvarez - 通讯作者:
Emilia Palomeque Alvarez
The integration of alternative treatment modalities in HIV infection--the patient's perspective.
HIV 感染中替代治疗方式的整合——患者的观点。
- DOI:
10.1016/0022-3999(94)90021-3 - 发表时间:
1994 - 期刊:
- 影响因子:4.7
- 作者:
W. Langewitz;S. Rüttimann;G. Laifer;Peter Maurer;A. Kiss - 通讯作者:
A. Kiss
Alterations of Mass Density and 3D Osteocyte Lacunar Properties in Bisphosphonate-Related Osteonecrotic Human Jaw Bone, a Synchrotron µCT Study
双膦酸盐相关的人颌骨坏死中质量密度和 3D 骨细胞腔隙特性的变化,同步加速器 µCT 研究
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:3.7
- 作者:
B. Hesse;M. Langer;P. Varga;A. Pacureanu;Pei Dong;Susanne Schrof;N. Männicke;H. Suhonen;C. Olivier;Peter Maurer;G. Kazakia;K. Raum;F. Peyrin - 通讯作者:
F. Peyrin
Peter Maurer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Peter Maurer', 18)}}的其他基金
QuSeC-TAQS: Quantum Sensing Platform for Biomolecular Analytics
QuSeC-TAQS:用于生物分子分析的量子传感平台
- 批准号:
2326748 - 财政年份:2023
- 资助金额:
$ 5.12万 - 项目类别:
Continuing Grant
NSF Convergence Accelerator Track C: High-Throughput Proteomics Technology Based on Quantum Sensing
NSF融合加速器轨道C:基于量子传感的高通量蛋白质组学技术
- 批准号:
2040520 - 财政年份:2020
- 资助金额:
$ 5.12万 - 项目类别:
Standard Grant
QII-TAQS: Quantum Metrological Platform for Single-Molecule Bio-Sensing
QII-TAQS:单分子生物传感量子计量平台
- 批准号:
1936118 - 财政年份:2019
- 资助金额:
$ 5.12万 - 项目类别:
Continuing Grant
CISE Educational Infrastructure: Incorporating Design and Design Automation into the Undergraduate Computer Science Curriculum
CISE 教育基础设施:将设计和设计自动化纳入本科计算机科学课程
- 批准号:
9522265 - 财政年份:1995
- 资助金额:
$ 5.12万 - 项目类别:
Standard Grant
Improving the Performance of Digital Logic Simulation
提高数字逻辑仿真的性能
- 批准号:
9403414 - 财政年份:1994
- 资助金额:
$ 5.12万 - 项目类别:
Continuing Grant
相似海外基金
Elements: Simplifying Compiled Python Packaging in the Sciences
元素:简化科学领域的已编译 Python 打包
- 批准号:
2209877 - 财政年份:2022
- 资助金额:
$ 5.12万 - 项目类别:
Standard Grant
Generating Correlation-Preserving Approximant Probabilistic Programs for Compiled Inference
为编译推理生成保留相关性的近似概率程序
- 批准号:
567053-2021 - 财政年份:2021
- 资助金额:
$ 5.12万 - 项目类别:
University Undergraduate Student Research Awards
Research on the process of perfection of rites in the Book of Rites compiled by Daide and Daisheng
戴德、戴圣编纂的《礼记》礼制完善过程研究
- 批准号:
20K00053 - 财政年份:2020
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Arrangement and reprinting of historical materials compiled in 'Tagane-no-hana': For consolidation of basic information on metalsmiths in late Edo and Meiji period.
《田金之花》中所编历史资料的整理和重印:用于整理江户后期和明治时代金属工匠的基本信息。
- 批准号:
17K02340 - 财政年份:2017
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A study of Compiled Shomono made at the end of Muromachi period
室町末期《书物汇编》研究
- 批准号:
17K13464 - 财政年份:2017
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Producing English Picture Stories for Japanese Learners of English Based on Often Used Set Phrase Corpus Compiled from English Children's Stories
基于英语儿童故事常用短语语料库为日本英语学习者制作英语图画故事
- 批准号:
15K02729 - 财政年份:2015
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A study on the formation of characteristics of the illustration of SHI JING compiled in Japan
日本《诗经》插图特征形成研究
- 批准号:
15K21527 - 财政年份:2015
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Digitisation / Cataloguing of non-textual objects: Development of interoperable metadata standards for the contextualization of heterogeneous collection objects,using the 18th century scholarly collection compiled by Georg Thomas v. Asch as an example
非文本对象的数字化/编目:使用 Georg Thomas v. 编译的 18 世纪学术馆藏,开发用于异构馆藏对象情境化的可互操作元数据标准。
- 批准号:
248069826 - 财政年份:2014
- 资助金额:
$ 5.12万 - 项目类别:
Cataloguing and Digitisation (Scientific Library Services and Information Systems)
A Philological Study of the History of Dialects Using Language Learning Resources Compiled by Tonkin Interpreters
利用东京口译员编写的语言学习资源对方言历史进行语言学研究
- 批准号:
26370553 - 财政年份:2014
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
How to support compiled transition childhood survivors and their families have experienced
如何支持整理的过渡儿童幸存者及其家人经历过的事情
- 批准号:
26293469 - 财政年份:2014
- 资助金额:
$ 5.12万 - 项目类别:
Grant-in-Aid for Scientific Research (B)