Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuerten Logiksimulation

Unser Forschungsvorhaben is auf den Entwurf und die Untersuchung effizienter，der parallelen Simulation vorangehender Partitionierungsaltaymen für industrierelevante Hardwaremodelle mit mehreren Millionen Elementen auf Gate-Ebene gerichtet. Dabei stellen die von uns entwickelten Simulatoren parallel TEXSIM，palallelMVLSIM and dlbSIM den unmittelbaren Anwendungshintegrund dar. Für den dynamisch balancierte Läufe ermöglichenden Simulator dlbSIM beabsichtigen wir die Entwicklung spezieller initialer Partitionierungsaltmen，die in Verbindung mit einer redundanten Verteilung von Partitionskomponenten eine Rahmen für Lastmodifikationen bilden.一个weiteres Ziel unseres Vorhabens steht in Verbindung mit der Partitionierungsumgebung parallelMAP.这种孕育的过程包括一种复杂的分层策略。在此基础上，我们建立了通信处理器（CP）模型，并将其用于任务-图形韦尔登的MAP-脚本自动化。

Unser Forschungsvorhaben ist auf den Entwurf und die Untersuchung effizienter, der parallelen Simulation vorangehender Partitionierungsalgorithmen für industrierelevante Hardwaremodelle mit mehreren Millionen Elementen auf Gate-Ebene gerichtet. Dabei stellen die von uns entwickelten Simulatoren parallelTEXSIM, palallelMVLSIM und dlbSIM den unmittelbaren Anwendungshintergrund dar. Für den dynamisch balancierte Läufe ermöglichenden Simulator dlbSIM beabsichtigen wir die Entwicklung spezieller initialer Partitionierungsalgorithmen, die in Verbindung mit einer redundanten Verteilung von Partitionskomponenten eine Rahmen für Lastmodifikationen bilden. Ein weiteres Ziel unseres Vorhabens steht in Verbindung mit der Partitionierungsumgebung parallelMAP. Diese gestattet mittels einer Skriptsprache die Beschreibung komplexer Partitionierungsprozesse innerhalb unserer hierarchischen Strategie. In diesem Zusammenhang sollen auf der Basis unseres formalen Modells Communicating Processors (CP) Scheduling-Algorithmen zur automatischen Erzeugung von MAP-Skripten ausgehend von Task-Graphen entwickelt werden.