U.S.-Korea Cooperative Research: High Performance Synthesis with Wave Pipelining

美韩合作研究:波浪流水线的高性能合成

基本信息

  • 批准号:
    9311863
  • 负责人:
  • 金额:
    $ 1.62万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1994
  • 资助国家:
    美国
  • 起止时间:
    1994-06-15 至 1996-11-30
  • 项目状态:
    已结题

项目摘要

9311863 Ciesielski This award provides funds to permit Drs. Maciej Ciesielski and Wayne Burleson, Department of Electrical and Computer Engineering, University of Massachusetts/Amherst, to pursue with Drs. Whangue Cho and Saeyang Yang, Departments of Computer Science and Computer Engineering, respectively, Pusan National University, Korea, for 24 months, a program of cooperative research on high performance synthesis with wave pipelining. The objective of this collaboration is to exchange synthesis techniques, tools, and benchmarks in an attempt to discover appropriate methods for restructuring combinational and sequential logic to facilitate wave-pipelining. Their research tasks involve studying methods of architectural and logic restructuring such that a circuit can be optimally pipelined with minimum area overhead. Wave pipelining is a method of high-performance circuit design which implements pipelining in logic. As a result, several computational signals related to different clock cycles can propagate through the logic simultaneously. In the present research, the collaborators will undertake a formal treatment of wave-pipelining in which they will describe the timing constraints which must be met in order to safely propagate multiple signals through a computational block. The collaborators are recognized as experts in the field of the proposal. This project is relevant to the objectives of the U.S.-Korea Cooperative Science Program which seeks to increase the level of cooperation between U.S. and Korean scientists and engineers through the exchange of scientific information, ideas, skills, and techniques and through collaboration on problems of mutual benefit. The U.S. scientists will benefit from the unique research and experimental environments provided through access to major Korean electronics industries and a nationally funded VLSI research laboratory with which their Korean counterparts maintain close research cooperation. Korean participation i n the project is supported by the Korea Science and Engineering Foundation (KOSEF). This project adds an international cooperative dimension to the PI's research under NSF Grant No. MIP-9208267. ***
小行星9311863 该奖项提供资金,允许马萨诸塞州/阿默斯特大学电气和计算机工程系的Maciej Ciesielski博士和韦恩伯莱森博士与韩国釜山国立大学计算机科学系和计算机工程系的Whangue Cho博士和Sayang Yang博士一起开展为期24个月的波流水线高性能合成合作研究计划。 这次合作的目的是交流综合技术,工具和基准,试图找到适当的方法来重组组合和时序逻辑,以促进波流水线。 他们的研究任务包括研究架构和逻辑重构的方法,以便电路可以以最小的面积开销进行最佳流水线。 波形流水是一种在逻辑上实现流水的高性能电路设计方法。 结果,与不同时钟周期相关的若干计算信号可以同时传播通过逻辑。 在本研究中,合作者将进行正式的治疗波流水线,他们将描述的时间限制,必须满足,以安全地传播多个信号通过一个计算块。 合作者被公认为提案领域的专家。 该项目与美国的目标有关-韩国合作科学计划,旨在通过科学信息,思想,技能和技术的交流以及通过互利问题的合作来提高美国和韩国科学家和工程师之间的合作水平。 美国科学家将受益于独特的研究和实验环境,这些环境是通过进入韩国主要的电子工业和国家资助的超大规模集成电路研究实验室提供的,韩国同行与该实验室保持密切的研究合作。 韩国参与该项目得到了韩国科学和工程基金会(KOSEF)的支持。 这个项目增加了国际合作的层面,PI的研究下,美国国家科学基金会资助号MIP-9208267。 ***

项目成果

期刊论文数量(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 个冯·诺依曼-乔丹常数的一些修改
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
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits
SHF:小:算术门级电路的字级抽象
  • 批准号:
    1617708
  • 财政年份:
    2016
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
SHF: Small: Network Flow Approach to Functional Verification of Arithmetic Circuits
SHF:小型:算术电路功能验证的网络流方法
  • 批准号:
    1319496
  • 财政年份:
    2013
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
SHF: Small: Advances in Distributed Spatial-Parallel Event-Driven HDL Simulation
SHF:小型:分布式空间并行事件驱动 HDL 仿真的进展
  • 批准号:
    1017530
  • 财政年份:
    2010
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation
基于规范数据流表示的验证感知算法综合
  • 批准号:
    0702506
  • 财政年份:
    2007
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Continuing Grant
SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation
SBIR 第一阶段:使用 TestBench 缓存和减少设计编译的硬件加速验证
  • 批准号:
    0339399
  • 财政年份:
    2004
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information
美法/德国合作研究:使用字级信息进行电路和系统验证
  • 批准号:
    0233206
  • 财政年份:
    2003
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification
泰勒展开图:RTL 验证的紧凑规范表示
  • 批准号:
    0204146
  • 财政年份:
    2002
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Continuing Grant
Logic-Layout Co-Synthesis for PTL/CMOS Logic
PTL/CMOS 逻辑的逻辑布局协同综合
  • 批准号:
    9901254
  • 财政年份:
    1999
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Continuing Grant
New Directions in Sequential Synthesis and Optimization
顺序综合和优化的新方向
  • 批准号:
    9613864
  • 财政年份:
    1997
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Continuing Grant

相似海外基金

U.S.-Korea Cooperative Research: Carbon Monoxide as a Substrate for Microbial Maintenance
美韩合作研究:一氧化碳作为微生物维持的底物
  • 批准号:
    0748070
  • 财政年份:
    2007
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Synthesis and Properties of Light Weight Alumina Particle Reinforced Ductile Iron Castings
美韩合作研究:轻质氧化铝颗粒增强球墨铸铁件的合成与性能
  • 批准号:
    0352314
  • 财政年份:
    2004
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Carbon Monoxide as a Substrate for Microbial Maintenance
美韩合作研究:一氧化碳作为微生物维持的底物
  • 批准号:
    0342779
  • 财政年份:
    2004
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Development of Technologies for Heavy Metal Remediation of Mine Tailings in Korea
美韩合作研究:韩国尾矿重金属修复技术开发
  • 批准号:
    0338406
  • 财政年份:
    2004
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Electrokinetic-Enhanced Bioremediation of Metal-Contaminated Soils
美韩合作研究:金属污染土壤的电动增强生物修复
  • 批准号:
    0425994
  • 财政年份:
    2004
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Measurements of 5th Structure Function for Single Pion Electro-Production In the Delta(1232) Resonance Region
美韩合作研究:Delta(1232)共振区单π介子电产第五结构函数的测量
  • 批准号:
    0424533
  • 财政年份:
    2004
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-South Korea Cooperative Research on Fault Management in the Optical Internet Based on Optical Burst Switching
美韩基于光突发交换的光互联网故障管理合作研究
  • 批准号:
    0323384
  • 财政年份:
    2003
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Non-Circular Mesoporous Carbon Fibers for the Absorption of Toxins
美韩合作研究:用于吸收毒素的非圆形介孔碳纤维
  • 批准号:
    0323859
  • 财政年份:
    2003
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Charmonium Cross Sections in Heavy Ion Collisions
美韩合作研究:重离子碰撞中的鲎截面
  • 批准号:
    0327497
  • 财政年份:
    2003
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
U.S.-Korea Cooperative Research: Seismic Hazard Assessment and Seismological Study in the Korean Peninsula using Modern and Historical Earthquake Catalog Data
美韩合作研究:利用现代和历史地震目录数据进行朝鲜半岛地震灾害评估和地震学研究
  • 批准号:
    0301894
  • 财政年份:
    2003
  • 资助金额:
    $ 1.62万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了