Logic-Layout Co-Synthesis for PTL/CMOS Logic
Logic-Layout Co-Synthesis for PTL/CMOS Logic
批准号:
9901254
负责人:
Maciej Ciesielski
金额:
$25.07万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-09-15 至 2002-08-31
中文摘要
这项研究的目标是开发一种全面的方法来综合控制为主的随机逻辑电路,目标是混合通过晶体管(PTL)和静态CMOS逻辑。这种方法的核心是自上而下的设计划分和逻辑综合与自下而上的版图组装的集成。具体任务包括:a)用于初始布尔网络划分的算法;b)由PTL/CMOS技术要求驱动的基于BDD的新型逻辑分解;c)用于混合CMOS/PTL技术的电路综合;以及d)全局级布局和布线规划以控制最终布局中布线引起的延迟。基于这种方法的实验合成系统正在开发中。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Formal Verification of SQRT and Divider Circuits
-
批准号:2006465
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2020
-
负责人:Maciej Ciesielski
-
依托单位:
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits
-
批准号:1617708
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2016
-
负责人:Maciej Ciesielski
-
依托单位:
SHF: Small: Network Flow Approach to Functional Verification of Arithmetic Circuits
-
批准号:1319496
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2013
-
负责人:Maciej Ciesielski
-
依托单位:
SHF: Small: Advances in Distributed Spatial-Parallel Event-Driven HDL Simulation
-
批准号:1017530
-
项目类别:Standard Grant
-
资助金额:$44.81万
-
财政年份:2010
-
负责人:Maciej Ciesielski
-
依托单位:
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation
-
批准号:0702506
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Maciej Ciesielski
-
依托单位:
SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation
-
批准号:0339399
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2004
-
负责人:Maciej Ciesielski
-
依托单位:
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information
-
批准号:0233206
-
项目类别:Standard Grant
-
资助金额:$2.21万
-
财政年份:2003
-
负责人:Maciej Ciesielski
-
依托单位:
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification
-
批准号:0204146
-
项目类别:Continuing Grant
-
资助金额:$28.0万
-
财政年份:2002
-
负责人:Maciej Ciesielski
-
依托单位:
New Directions in Sequential Synthesis and Optimization
-
批准号:9613864
-
项目类别:Continuing Grant
-
资助金额:$26.82万
-
财政年份:1997
-
负责人:Maciej Ciesielski
-
依托单位:
U.S.-Korea Cooperative Research: High Performance Synthesis with Wave Pipelining
-
批准号:9311863
-
项目类别:Standard Grant
-
资助金额:$1.62万
-
财政年份:1994
-
负责人:Maciej Ciesielski
-
依托单位:
High-Performance VLSI Synthesis with Wave Pipelining
-
批准号:9208267
-
项目类别:Continuing Grant
-
资助金额:$25.24万
-
财政年份:1992
-
负责人:Maciej Ciesielski
-
依托单位:
FSM Decomposition for Area and Performance Optimization: From Function to Layout
-
批准号:9013013
-
项目类别:Standard Grant
-
资助金额:$15.15万
-
财政年份:1991
-
负责人:Maciej Ciesielski
-
依托单位:
Research Initiation: Interconnect Delay and Clock Skew Optimization in VLSI Circuits
-
批准号:8809838
-
项目类别:Standard Grant
-
资助金额:$5.99万
-
财政年份:1988
-
负责人:Maciej Ciesielski
-
依托单位:
国内基金
海外基金
集成电路布图(LAYOUT)CAD的算法研究
-
批准号:68772025
-
项目类别:面上项目
-
资助金额:2.0万元
-
批准年份:1987
-
负责人:陈允康
-
依托单位: