Formal Verification of Safety of Polymorphic Heterogeneous Multi-Core Architectures

Miroslav Velev and Ping Gao
Aries Design Automation


We study the efficient formal verification of polymorphic heterogeneous multi-core architectures, such as Bahurupi, and also present insights on how to design such architectures at a high level of abstraction in order to facilitates their formal verification. To the best of our knowledge, this is the first work on formal verification of such architectures.