Algebra for Digital Design Derivation

数字设计推导的代数

• 批准号: 8921842
• 负责人: Steven Johnson
• 金额: $ 20.3万
• 依托单位: Indiana University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-06-01 至 1992-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8921842&HistoricalAwards=false
• 关键词: Algebra; Digital; Design; Derivation

This research is on conceptual structures used in IC and digital system design. It explores aspects of digital design in a functional algebra, a theory chosen for its simplicity, its power and its affinity to digital hardware description. Fundamental abstractions of digital engineering are formalized in order to expose principles for integrating methods and tools. Research is on obtaining correct implementations through a sequence of algebraic transformations on a specification. The synthesis algebra is being automated, providing a toll for interactive digital design derivation. Experimentation with the algebraic approach to synthesis is being pursued. Also, various decompositions of design are considered with the object of distilling general principles for the integration of engineering methods and tools.

本研究是关于集成电路和数字系统设计中使用的概念结构。它探讨了功能代数中数字设计的各个方面，这一理论因其简单，强大和与数字硬件描述的亲和力而被选择。数字工程的基本抽象是形式化的，以便揭示集成方法和工具的原则。研究的是通过规范上的一系列代数变换来获得正确的实现。合成代数是自动化的，为交互式数字设计推导提供了代价。正在进行用代数方法进行综合的实验。此外，还考虑了设计的各种分解，目的是提炼工程方法和工具集成的一般原则。