High-Performance VLSI Synthesis with Wave Pipelining
High-Performance VLSI Synthesis with Wave Pipelining
批准号:
9208267
负责人:
Maciej Ciesielski
金额:
$25.24万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1992
资助国家:
美国
项目状态:
已结题
起止时间:
1992-09-01 至 1996-08-31
中文摘要
Ciesielski波流水线是一种高性能的电路设计方法,它在逻辑上实现流水线,而不需要使用中间锁存器。因此,与不同时钟周期相关的几个计算波(信号)可以同时通过该逻辑传播。这项研究扩展了以往静态逻辑中的波形流水线的实现,包括了以面积更小、性能更高而闻名的动态CMOS逻辑。以前的波流水线工作使用在信号线和时钟线上插入延迟元件来均衡路径延迟。这些延迟通常是不精确的,可能需要大量的VLSI面积。为了避免这些问题,我们通过在逻辑块内重组计算来均衡路径。使用现代逻辑综合工具的逻辑级别的重组是针对高度结构化的计算和规则数组的。这些新方法已在一套CAD工具中实现,以使VLSI自动综合系统中的波形流水线可用。几个VLSI测试芯片正在设计、制造和测试中,以验证我们的方法和CAD工具的可行性。
英文摘要
Ciesielski Wave-pipelining is a method of high-performance circuit design which implements pipelining in logic without the use of intermediate latches. As a result, several computation waves (signals) related to different clock cycles can propagate through the logic simultaneously. This research extends previous implementations of wave-pipelining in static logic to include dynamic CMOS logic which is known for its smaller area and higher-performance. Previous work in wave-pipelining uses the insertion of delay elements on signal and clock lines to equalize path delays. These delays are often imprecise and can require a significant amount of VLSI area. To avoid these problems, we equalize the paths by restructuring the computation within the logic block. The restructuring at the logic level, using tools of modern logic synthesis, is targeted towards highly structured computations and regular arrays. The new methods are implemented in a suite of CAD tools to make wave pipelining accessible in automatic VLSI synthesis systems. Several VLSI test chips are being designed, fabricated and tested to verify the feasibility of our methods and CAD tools.
期刊论文(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
-
依托单位:
Logic-Layout Co-Synthesis for PTL/CMOS Logic
-
批准号:9901254
-
项目类别:Continuing Grant
-
资助金额:$25.07万
-
财政年份:1999
-
负责人: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
-
依托单位:
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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
先进MCMM工艺下VLSI性能驱动时钟布线算法研究
-
批准号:62372109
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:刘耿耿
-
依托单位:
智能图像信号处理器的多任务一体算法与VLSI架构协同设计
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:汪航
-
依托单位:
VLSI中与信息网络相关的图优化算法研究
-
批准号:12271259
-
项目类别:面上项目
-
资助金额:46万元
-
批准年份:2022
-
负责人:张晓岩
-
依托单位:
先进制程技术下可布线性驱动的VLSI混合高度单元布局研究
-
批准号:62104037
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:朱自然
-
依托单位:
基于开关结构的VLSI处理器阵列降阶重构技术研究
-
批准号:62162004
-
项目类别:地区科学基金项目
-
资助金额:36万元
-
批准年份:2021
-
负责人:钱俊彦
-
依托单位:
基于深度神经网络的高效双目立体匹配算法与VLSI架构协同设计
-
批准号:62004157
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:张旭翀
-
依托单位:
面向边缘端的轻量级实时目标检测网络及VLSI加速方法研究
-
批准号:62002134
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:骆爱文
-
依托单位:
稳定性自主筛选PUF电路建模及VLSI设计关键技术研究
-
批准号:61904125
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2019
-
负责人:李刚
-
依托单位:
先进制程技术下的VLSI混合行高单元布局研究
-
批准号:61977017
-
项目类别:面上项目
-
资助金额:59.0万元
-
批准年份:2019
-
负责人:陈建利
-
依托单位:
面向先进制程的VLSI混合高标准单元布局算法研究
-
批准号:61907024
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2019
-
负责人:李兴权
-
依托单位: