Dynamic Scheduling And Synchronization Synthesis Of Concurrent Digital Systems Under System-level Constraints
Dynamic Scheduling And Synchronization Synthesis Of Concurrent Digital Systems Under System-level Constraints
复制标题
系统级约束下并发数字系统的动态调度与同步综合
DOI：
10.1109/iccad.1994.629762
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
G. Micheli
中科院分区：
文献类型：
--
作者：
C. J. Coelho;G. Micheli
我们在本文中提出了一种用于系统级规范的新型控制综合技术，该技术可以更好地描述为一组并发同步描述、它们的同步和约束。所提出的综合技术考虑了并发模型和环境引入的自由度，以满足设计约束。
合成分为两个阶段。在第一阶段，原始规范被转换为代数系统，为此确定复杂的控制流约束和设计的量化器。然后分析该代数系统，并用有限状态机表示规范的设计空间，从中生成并操作一组布尔公式以获得解决方案。该方法与通常的高级综合方法相比，它可以通过允许操作的调度随时间动态变化来处理任意复杂的控制流结构、并发性和同步。
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synchronizations and constraints. The proposed synthesis technique considers the degrees of freedom introduced by the concurrent models and by the environment in order to satisfy the design constraints.
Synthesis is divided in two phases. In the first phase, the original specification is translated into an algebraic system, for which complex control-flow constraints and quantifiers of the design are determined. This algebraic system is then analyzed and the design space of the specification is represented by a finite-state machine, from which a set of Boolean formulas is generated and manipulated in order to obtain a solution. This method contrasts with usual high-level synthesis methods in that it can handle arbitrarily complex control-flow structures, concurrency and synchronization by allowing the scheduling of the operations to change dynamically over time.