General Decomposition and Its Use in Digital Circuit Synthesis
General Decomposition and Its Use in Digital Circuit Synthesis
复制标题
一般分解及其在数字电路综合中的应用
DOI：
10.1155/1995/16259
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
L. Józwiak
中科院分区：
文献类型：
--
作者：
L. Józwiak
调制解调器的微电子技术。有机会建立具有巨大复杂性的数字电路，并提供了广泛的逻辑构件，尽管逻辑设计师已经建立了很多年，但他们已经意识到微电子技术的进步超越了他们的能力。在本文中创造的机会，我们介绍了逻辑设计方法的基本原理电路和调制解调器的构建块是基于一般的全分散理论，该理论构成了最高的抽象级别的数字电路结构理论呈现的分解方法可确保“通过施工正确性”，并具有非常有效和有效的事后验证。与给定的一组目标和约束有关的所需信息处理的结构特征。
Modem microelectronic technology.gives opportunities to build digital circuits of huge complexity and provides a wide diversity of logic building blocks. Although logic designers have been building circuits for many years, they have realized that advances in microelectronic technology are outstripping their abilities to make use of the created opportunities. In this paper, we present the fundamentals of a logic design methodology which meets the requirements of today's complex circuits and modem building blocks. The methodology is based on the theory of general full-decompositions which constitutes the theory of digital circuit structures at the highest abstraction level. The paper explains the theory and shows how it can be used for digital circuit synthesis. The decomposition methodology that is presented ensures “correctness by construction” and enables very effective and efficient post-factum validation. It makes possible extensive examination of the structural features of the required information processing in relation to a given set of objectives and constraints.