Synthesis by Delayed Binding of Decisions
Synthesis by Delayed Binding of Decisions
复制标题
通过决策的延迟绑定进行综合
DOI：
10.1145/317825.317914
复制
发表时间：
1985
期刊：
影响因子：
--
通讯作者：
D. E. Thomas
中科院分区：
文献类型：
--
作者：
J. V. Rajan;D. E. Thomas
本文提出了一种从行为描述自动综合数字系统的方法。复杂问题解决活动中的子任务（如合成）经常相互作用。因此，过早的决策绑定可能导致糟糕的设计。更好的设计选择可以作出，如果决定推迟到足够的信息，使他们。本文详细介绍了如何延迟绑定的决定是在一个名为SUGAR的程序中实现的，以及如何组织子任务，使它们在设计系统时相互合作。
This paper presents a method for the automatic synthesis of digital systems from behavioral descriptions. Subtasks in complex problem solving activities like synthesis often interact. As a result, premature binding of decisions can lead to poor designs. Better design choices can be made if decisions are postponed until adequate information is available to make them. The paper details how delayed binding of decisions is implemented in a program called SUGAR and how subtasks are organized so that they cooperate with one another in designing a system.