Algebra for 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.