formal methods

Invited: Advances in formal methods for the design of analog/mixed-signal systems

Analog/mixed-signal (AMS) systems are rapidly expanding in all domains of information and communication technology. They are a critical part of the support for large-scale high-performance digital systems, provide important functionalities in …

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis

A fault-tolerant routing algorithm in Network-on-Chip (NoC) architectures provides adaptivity for on-chip communications. Adding fault-tolerance adaptivity to a routing algorithm increases its design complexity and makes it prone to deadlock and …

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets

Mixed-signal designs integrate digital and analog circuits which complicates the already difficult verification problem. This paper presents a model, labeled hybrid Petri nets (LHPNs), that is developed to model this heterogeneous set of components. …

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets

System on a chip design results in the integration of digital, analog, and mixed-signal circuits on the same substrate which further complicates the already difficult validation problem. This paper presents a new model, labeled hybrid Petri nets …