An overview of D-I algebra
An overview of D-I algebra
复制标题
D-I 代数概述
DOI：
--
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
J. T. Udding
中科院分区：
文献类型：
--
作者：
M. Josephs;J. T. Udding
给出了D-I代数的概述，D-I代数是用于规范电线上电压级过渡的延迟不敏感电路安全性和进度属性的代数。代数定律使得可以简洁地指定电路并促进设计的验证。可以将单个组件组成成电路，其中沿着内部电线的信号隐藏在环境中。延迟不敏感的方法已成功地应用于几种非平凡设计，例如数据包路由器的设计和恒定响应时间堆栈的设计，而D-I代数在暗示分解和验证它们方面发挥了重要作用。 << etx >>
An overview is given of D-I algebra, an algebra for the specification of the safety and progress properties of delay-insensitive circuits in terms of voltage-level transitions on wires. The algebraic laws make it possible to specify circuits concisely and facilitate the verification of designs. Individual components can be composed into circuits in which signals along internal wires are hidden from the environment. A delay-insensitive approach has been successfully applied to several nontrivial designs, such as the design of a packet router and the design of a constant response-time stack, and D-I algebra has played an important role both in suggesting decompositions and in verifying them.<<ETX>>