FSM Decomposition for Area and Performance Optimization: From Function to Layout
FSM Decomposition for Area and Performance Optimization: From Function to Layout
批准号:
9013013
负责人:
Maciej Ciesielski
金额:
$15.15万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-03-15 至 1993-08-31
中文摘要
本研究的目标是开发一套完整的 时序电路的逻辑和物理设计工具 具有减小的面积和改进的性能。 拟议研究 正在开发分析技术, 电路的功能和物理分解, 以最小化面积并最大化性能(或找到交易 两者之间)。 时序电路的分解算法 一组相互作用的同步有限状态机(FSM) 正在接受调查 方法是找到一组 机器状态的广义划分,使得每个机器 状态可以被实现为单独的机器。 机器 与这些分区相对应的分区在一个或多个分区中彼此交互。 更复杂的时尚比那些衍生的基础上,古典 封闭分区理论 例如,在这个组织中, 一台机器可以通过使用它们的状态位来依赖于其他机器, 主要投入。
英文摘要
The goal of this research is the development of an integrated set of tools for the logical and physical design of sequential circuits with reduced area and improved performance. The proposed research is developing analytical techniques for synthesis of sequential circuits by means of functional and physical decompositions so as to minimize the area and maximize the performance (or find a trade off between the two). Algorithms to decompose a sequential circuit into a set of interacting synchronous finite state machines (FSM's) are being investigated. The approach is to find a set of generalized partitions of machine states, so that each machine state can be implemented as a separate machine. The machines corresponding to those partitions interact with each other in a more complex fashion than those derived on the basis of classical theory of closed partitions. For example, in this organization one machine may depend on other machines by using their state bits as primary inputs.
期刊论文(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
-
依托单位:
High-Performance VLSI Synthesis with Wave Pipelining
-
批准号:9208267
-
项目类别:Continuing Grant
-
资助金额:$25.24万
-
财政年份:1992
-
负责人:Maciej Ciesielski
-
依托单位:
Research Initiation: Interconnect Delay and Clock Skew Optimization in VLSI Circuits
-
批准号:8809838
-
项目类别:Standard Grant
-
资助金额:$5.99万
-
财政年份:1988
-
负责人:Maciej Ciesielski
-
依托单位:
海外基金