Logic-Layout Co-Synthesis for PTL/CMOS Logic
PTL/CMOS 逻辑的逻辑布局协同综合
基本信息
- 批准号:9901254
- 负责人:
- 金额:$ 25.07万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1999
- 资助国家:美国
- 起止时间:1999-09-15 至 2002-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The goal of this research is to develop a comprehensive methodology forthe synthesis of control dominated random logic circuits, targeting mixedpass-transistor (PTL) and static CMOS logic. Central to this methodologyis the integration of top-down design partitioning and logic synthesiswith bottom-up layout assembly. Specific tasks include: a) algorithmsfor initial Boolean network partitioning; b) novel BDD-based logicdecomposition driven by PTL/CMOS technology requirements; c) circuitsynthesis for mixed CMOS/PTL technology; and d) global level placement andfloorplanning to assume control over the wiring-induced delays in thefinal layout. An experimental synthesis system based on this methodology isnow being developed.
本研究的目标是开发一种综合的方法来合成控制主导的随机逻辑电路,目标是混合通管(PTL)和静态CMOS逻辑。该方法的核心是将自顶向下的设计划分和逻辑综合与自底向上的布局组装相结合。具体任务包括:a)初始布尔网络分区算法;b)由PTL/CMOS技术需求驱动的新颖的基于bdd的逻辑分解;c) CMOS/PTL混合技术的电路合成;d)全局布局和楼层规划,以控制最终布局中布线引起的延迟。目前正在开发一种基于这种方法的实验合成系统。
项目成果
期刊论文数量(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 }}
Maciej Ciesielski其他文献
Strict K-monotonicity and K-order continuity in symmetric spaces
- DOI:
10.1007/s11117-017-0540-7 - 发表时间:
2017-10-28 - 期刊:
- 影响因子:0.900
- 作者:
Maciej Ciesielski - 通讯作者:
Maciej Ciesielski
Bioelectrical Impedance Analysis to Increase the Sensitivity of Screening Methods for Diagnosing Cancer Cachexia in Patients with Colorectal Cancer
生物电阻抗分析可提高诊断结直肠癌患者癌症恶病质的筛查方法的敏感性
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:2.2
- 作者:
J. Szefel;W. Kruszewski;M. Szajewski;Maciej Ciesielski;A. Danielak - 通讯作者:
A. Danielak
On some modifications of n-th von Neumann–Jordan constant for Banach spaces
关于 Banach 空间的第 n 个冯·诺依曼-乔丹常数的一些修改
- DOI:
10.1007/s43037-019-00033-1 - 发表时间:
2018 - 期刊:
- 影响因子:1.2
- 作者:
Maciej Ciesielski;R. Płuciennik - 通讯作者:
R. Płuciennik
Immunonutrition in oncology
肿瘤学中的免疫营养
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
J. Szefel;W. Kruszewski;Maciej Ciesielski - 通讯作者:
Maciej Ciesielski
Enantioselective Catalytic Sulfenofunctionalization of Nonactivated Cyclic and (Z)-Alkenes
非活化环状烯烃和 (Z)-烯烃的对映选择性催化亚磺基官能化
- DOI:
10.1055/s-0041-1738547 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
J. Szefel;W. Kruszewski;Maciej Ciesielski;M. Szajewski;K. Kawecki;E. Aleksandrowicz‐Wrona;J. Jankun;W. Lysiak - 通讯作者:
W. Lysiak
Maciej Ciesielski的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Maciej Ciesielski', 18)}}的其他基金
SHF: Small: Formal Verification of SQRT and Divider Circuits
SHF:小:SQRT 和分压器电路的形式验证
- 批准号:
2006465 - 财政年份:2020
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits
SHF:小:算术门级电路的字级抽象
- 批准号:
1617708 - 财政年份:2016
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
SHF: Small: Network Flow Approach to Functional Verification of Arithmetic Circuits
SHF:小型:算术电路功能验证的网络流方法
- 批准号:
1319496 - 财政年份:2013
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
SHF: Small: Advances in Distributed Spatial-Parallel Event-Driven HDL Simulation
SHF:小型:分布式空间并行事件驱动 HDL 仿真的进展
- 批准号:
1017530 - 财政年份:2010
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation
基于规范数据流表示的验证感知算法综合
- 批准号:
0702506 - 财政年份:2007
- 资助金额:
$ 25.07万 - 项目类别:
Continuing Grant
SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation
SBIR 第一阶段:使用 TestBench 缓存和减少设计编译的硬件加速验证
- 批准号:
0339399 - 财政年份:2004
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information
美法/德国合作研究:使用字级信息进行电路和系统验证
- 批准号:
0233206 - 财政年份:2003
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification
泰勒展开图:RTL 验证的紧凑规范表示
- 批准号:
0204146 - 财政年份:2002
- 资助金额:
$ 25.07万 - 项目类别:
Continuing Grant
New Directions in Sequential Synthesis and Optimization
顺序综合和优化的新方向
- 批准号:
9613864 - 财政年份:1997
- 资助金额:
$ 25.07万 - 项目类别:
Continuing Grant
U.S.-Korea Cooperative Research: High Performance Synthesis with Wave Pipelining
美韩合作研究:波浪流水线的高性能合成
- 批准号:
9311863 - 财政年份:1994
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
相似国自然基金
集成电路布图(LAYOUT)CAD的算法研究
- 批准号:68772025
- 批准年份:1987
- 资助金额:2.0 万元
- 项目类别:面上项目
相似海外基金
I-Corps: Analog Layout Design Suite
I-Corps:模拟布局设计套件
- 批准号:
2310607 - 财政年份:2023
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
Our cities exist on a large spectrum of layout organisation, generally described as ranging from a monocentric structure, where all economic activity
我们的城市存在多种布局组织,通常被描述为从单中心结构到所有经济活动
- 批准号:
2884312 - 财政年份:2023
- 资助金额:
$ 25.07万 - 项目类别:
Studentship
Advanced Large-Scale Optimization Approaches to Solve Modern Circuit Layout Problems
解决现代电路布局问题的先进大规模优化方法
- 批准号:
RGPIN-2016-03833 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Discovery Grants Program - Individual
Edge Bundling and Node Layout by evoluational computation based on aethentic value
基于价值的进化计算的边缘捆绑和节点布局
- 批准号:
22K12116 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
RII Track-4:NSF: Isolated Amorphous Microgrid Design with Accelerated Power System Analysis and Network Layout (IMPALA)
RII Track-4:NSF:具有加速电力系统分析和网络布局的隔离非晶微电网设计 (IMPALA)
- 批准号:
2131696 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Standard Grant
RACHEL (Robustly Achievable Combustion of Hydrogen Engine Layout
RACHEL(稳健可实现的氢发动机布局燃烧
- 批准号:
10039810 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
BEIS-Funded Programmes
Deep learning-based layout design of urban roadside trees on the road network within digital twins
基于深度学习的数字孪生中城市路网路边树木布局设计
- 批准号:
22K12706 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
System, Layout, and Topology Optimization for Automotive and Aerospace Design
汽车和航空航天设计的系统、布局和拓扑优化
- 批准号:
RGPIN-2021-02478 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Discovery Grants Program - Individual
System, Layout, and Topology Optimization for Automotive and Aerospace Design
汽车和航空航天设计的系统、布局和拓扑优化
- 批准号:
RGPAS-2021-00042 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Discovery Grants Program - Accelerator Supplements
Perception of Layout and Motion during Self Motion in Real and Virtual Worlds
真实和虚拟世界中自我运动期间的布局和运动感知
- 批准号:
RGPIN-2020-06061 - 财政年份:2022
- 资助金额:
$ 25.07万 - 项目类别:
Discovery Grants Program - Individual