Meta-functions for Synthesizing Correct Arithmetic Hardware
用于综合正确算术硬件的元函数
基本信息
- 批准号:8710826
- 负责人:
- 金额:$ 7万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1987
- 资助国家:美国
- 起止时间:1987-07-01 至 1990-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The objective of this project is to develop hardware generation functions that synthesize hardware correctly. The existence of such functions would result in a significant savings in design time because the validation effort occurs only once. Only the generating function needs to be proven correct. The candidate techniques which will be extended to produce practical designs are: (1) the use of proven correct recursive functions to generate Boolean logic; (2) compiling, specifying, and verifying timing and control hardware from specifications written using temporal logic or the notation of Hoare's Communicating Sequential Processes (CSP); and (3) the application of equivalence transformations to rewrite high-level specifications into hardware generation functions which produce practical and correct arithmetic hardware. Candidate arithmetic functions include transcendental functions that are calculated based on the algorithm used by the coordinate rotation digital computer (CORDIC). Hardware meta-functions are one class of tool to manage the complexity of VLSI design. The large gate counts associated with VLSI circuit technology makes unrealistic the hope that correct detailed interconnection lists and block diagrams can be synthesized manually. Correct and automated synthesis methods like hardware meta-functions offer the attractive possibility of creating correct designs from the start. Thus, the growing impracticality of validating large designs using simulation is avoided.
本课题的目标是开发硬件生成功能,实现硬件的正确合成。这些函数的存在将大大节省设计时间,因为验证工作只发生一次。只需要证明生成函数是正确的。将扩展到产生实际设计的候选技术是:(1)使用已证明正确的递归函数来生成布尔逻辑;(2)从使用时序逻辑或Hoare的通信顺序过程(CSP)符号编写的规范中编译、指定和验证时序和控制硬件;(3)应用等价变换将高级规范改写为硬件生成函数,生成实用、正确的算术硬件。候选算法函数包括基于坐标旋转数字计算机(CORDIC)算法计算的超越函数。硬件元函数是管理超大规模集成电路设计复杂性的一类工具。与VLSI电路技术相关的大量门数使得人工合成正确详细的互连表和框图的希望变得不现实。像硬件元函数这样的正确和自动化的合成方法提供了从一开始就创建正确设计的诱人可能性。因此,使用仿真来验证大型设计的日益不现实的情况是可以避免的。
项目成果
期刊论文数量(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 }}
Shiu-Kai Chin其他文献
Shiu-Kai Chin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Shiu-Kai Chin', 18)}}的其他基金
Planning IUCRC Syracuse University: Center for High-Assurance Secure Systems and IoT (CHASSI)
规划 IUCCRC 雪城大学:高保证安全系统和物联网中心 (CHASSI)
- 批准号:
1916541 - 财政年份:2019
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
相似国自然基金
数学物理中精确可解模型的代数方法
- 批准号:11771015
- 批准年份:2017
- 资助金额:48.0 万元
- 项目类别:面上项目
相似海外基金
Cosmological hydrodynamical simulations with calibrated non-universal initial mass functions
使用校准的非通用初始质量函数进行宇宙流体动力学模拟
- 批准号:
2903298 - 财政年份:2027
- 资助金额:
$ 7万 - 项目类别:
Studentship
NSF PRFB FY 2023: Impact of Environment-Seagrass-Microbe Interactions on Seagrass Stress Response and Ecosystem Functions
NSF PRFB 2023 财年:环境-海草-微生物相互作用对海草应激反应和生态系统功能的影响
- 批准号:
2305691 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Fellowship Award
Immunoregulatory functions of appetite controlling brain circuits
食欲控制脑回路的免疫调节功能
- 批准号:
BB/Y005694/1 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Research Grant
New substrates and functions for the DYRK protein kinases
DYRK 蛋白激酶的新底物和功能
- 批准号:
BB/Y512527/1 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Training Grant
Norway. Neuropeptide origins; study of neuropeptide functions in choanoflagellates
挪威。
- 批准号:
BB/X018512/1 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Research Grant
Adaptive Artificial Receptors for Biomimetic Functions
仿生功能的自适应人工受体
- 批准号:
MR/X023303/1 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Fellowship
New substrates and functions for the DYRK protein kinases
DYRK 蛋白激酶的新底物和功能
- 批准号:
2894877 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Studentship
CAREER: Green Functions as a Service: Towards Sustainable and Efficient Distributed Computing Infrastructure
职业:绿色功能即服务:迈向可持续、高效的分布式计算基础设施
- 批准号:
2340722 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Continuing Grant
Theory and algorithms for a new class of computationally amenable nonconvex functions
一类新的可计算非凸函数的理论和算法
- 批准号:
2416250 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Standard Grant
Conference: Modular forms, L-functions, and Eigenvarieties
会议:模形式、L 函数和特征变量
- 批准号:
2401152 - 财政年份:2024
- 资助金额:
$ 7万 - 项目类别:
Standard Grant