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其他文献
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
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
Immunonutrition in oncology
肿瘤学中的免疫营养
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
J. Szefel;W. Kruszewski;Maciej Ciesielski - 通讯作者:
Maciej Ciesielski
Laparoscopic Surgery For Colon Cancer - A Favorite Method? A Review of Literature
腹腔镜手术治疗结肠癌 - 最喜欢的方法?
- DOI:
10.2478/v10035-008-0089-z - 发表时间:
2008 - 期刊:
- 影响因子:0.6
- 作者:
Maciej Ciesielski;W. Kruszewski - 通讯作者:
W. Kruszewski
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
相似国自然基金
数据中心重塑产业空间布局的作用机理及调控对策
- 批准号:42301197
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于人口动态演变的分级医疗设施布局优化模型研究
- 批准号:42301218
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于国产AI芯片的自动布局布线优化算法研究
- 批准号:62306286
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
面向能源结构转型的中国储能布局预测研究
- 批准号:42341204
- 批准年份:2023
- 资助金额:400 万元
- 项目类别:专项基金项目
低碳导向的城市用地空间布局模拟、优化与智能辅助决策方法研究
- 批准号:52378056
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
相似海外基金
小児在宅医療を提供する薬局の地域分布に関する評価研究
儿科家庭医疗药店区域分布评价研究
- 批准号:
24K13369 - 财政年份:2024
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
局所熱流分布・材料特性のマクロ熱電性能に対する寄与の実験的解明
实验阐明局部热流分布和材料特性对宏观热电性能的贡献
- 批准号:
23K26547 - 财政年份:2024
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
多分散径分布の局所ボイド変動がもたらす空気潤滑効果のマキシマイゼーション
多分散直径分布的局部空隙变化带来的空气润滑效果最大化
- 批准号:
24K07298 - 财政年份:2024
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
東京首都圏における気温分布と局地風系場の構造および変動性に関する研究
东京都市区气温分布和局地风场的结构和变化研究
- 批准号:
23K22028 - 财政年份:2024
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
熱可塑性CFRPの局所加熱による熱影響部における結晶化度の空間不均一分布の解明
通过局部加热热塑性 CFRP 阐明热影响区结晶度的空间不均匀分布
- 批准号:
23K26005 - 财政年份:2024
- 资助金额:
$ 25.07万 - 项目类别:
Grant-in-Aid for Scientific Research (B)