Optimistic Modeling and Simulation of Complex Hardware Platforms and Embedded Systems on Many-Core HPC Clusters

Alireza Poshtkohi, M. B. Ghaznavi-Ghoushchi, Kamyar Saghafi

Research output: Contribution to journalArticlepeer-review


The large size and complexity of the modern digital hardware impose great challenges to design and validation. Hardware Description Languages (HDLs) and System-Level Description Languages (SLDLs) rely on sequential discrete event semantics. Parallel Discrete Event Simulation (PDES) has recently gained extensive attention for parallelizing these languages due to the ever-increasing complexity of embedded and cyber physical systems. However, PDES application has not yet reached acceptable maturity and pervasiveness for accelerating computer architecture problems. This is due to inherent complexity of hardware components that require using different advanced PDES techniques. In this paper, we look at the main problem from a radically different angle. First, we suppose there is only a single universal discrete event model of computation for simulation purely defined by distributed optimistic PDES, i.e., logical-process-based event scheduling worldview. Second, we construct a new parallel system-level simulation language called OSML for ESL. Third, we propose a unified Cloud-based CAD tool called Troodon to automatically parallelize existing hardware languages atop OSML. To the best of our knowledge, OSML is the first work on optimistic synchronization applied to hardware-specific SLDLs and hardware models at different levels of abstraction in ESL, which contain complex data structures by proposing a hybrid checkpointing scheme.
Original languageEnglish
Article number8419330
Pages (from-to)428-444
Number of pages17
JournalIEEE Transactions on Parallel and Distributed Systems
Issue number2
Publication statusPublished - 1 Feb 2019


  • Solid modeling
  • Hardware
  • Computational modeling
  • Synchronization
  • Object oriented modeling
  • Tools
  • Complexity theory


Dive into the research topics of 'Optimistic Modeling and Simulation of Complex Hardware Platforms and Embedded Systems on Many-Core HPC Clusters'. Together they form a unique fingerprint.

Cite this