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 Ciesielski 该奖项提供资金以允许博士。 Maciej Ciesielski 和 Wayne Burleson,马萨诸塞大学/阿默斯特分校电气与计算机工程系,与博士一起研究。 Whangue Cho 和 Saeyang Yang 分别在韩国釜山国立大学计算机科学系和计算机工程系进行了为期 24 个月的合作研究项目,利用波流水线进行高性能综合。 此次合作的目的是交流综合技术、工具和基准,试图找到重组组合和顺序逻辑的适当方法,以促进波流水线。 他们的研究任务涉及研究架构和逻辑重组的方法,以便可以以最小的面积开销对电路进行最佳流水线化。 波形流水线是一种在逻辑上实现流水线的高性能电路设计方法。 因此,与不同时钟周期相关的多个计算信号可以同时通过逻辑传播。 在目前的研究中,合作者将进行波流水线的正式处理,其中他们将描述为了通过计算块安全地传播多个信号而必须满足的时序约束。 合作者被认为是该提案领域的专家。 该项目与美韩合作科学计划的目标相关,该计划旨在通过科学信息、思想、技能和技术的交流以及就共同关心的问题进行合作,提高美国和韩国科学家和工程师之间的合作水平。益处。 美国科学家将受益于通过进入韩国主要电子工业和国家资助的超大规模集成电路研究实验室所提供的独特的研究和实验环境,韩国同行与该实验室保持着密切的研究合作。 韩国参与该项目得到了韩国科学与工程基金会(KOSEF)的支持。 该项目为 PI 在 NSF 拨款号 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其他文献
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
- 资助金额:
$ 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
相似国自然基金
中国与韩国沿海芦苇湿地大杜鹃寄生体系独立进化的对比研究
- 批准号:31911540468
- 批准年份:2019
- 资助金额:8 万元
- 项目类别:国际(地区)合作与交流项目
全球生产网络与区域发展策略耦合机制和调控研究—以江苏省韩国投资汽车行业为例
- 批准号:41371136
- 批准年份:2013
- 资助金额:60.0 万元
- 项目类别:面上项目
跨国公司服务外包区位选择影响因素作用机制研究:基于长吉图地区承接韩国服务外包的研究
- 批准号:71163042
- 批准年份:2011
- 资助金额:40.0 万元
- 项目类别:地区科学基金项目
中国延边和韩国阳平地区心血管疾病遗民流行病学研究
- 批准号:30260098
- 批准年份:2002
- 资助金额:19.0 万元
- 项目类别:地区科学基金项目
韩国和中国延边的乙肝病毒钩体恙虫感染情况的比较研究
- 批准号:39560074
- 批准年份:1995
- 资助金额:7.0 万元
- 项目类别:地区科学基金项目
相似海外基金
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