PSL-based online monitoring of digital systems

Abstract : We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarative form, written in the PSL standard. The method includes a library of primitive digital components, and a technique to interconnect them, resulting in a synthesizable digital module that can be properly connected to a digital system under verification, or to a set of input signals under scrutiny. The complexity of the generation is proportional to the size of the PSL expression. A prototype emulation system has been implemented.
keyword : PSL digital systems
Complete list of metadatas
Contributor : Lucie Torella <>
Submitted on : Wednesday, October 4, 2006 - 2:35:28 PM
Last modification on : Wednesday, May 16, 2018 - 6:30:03 PM


  • HAL Id : hal-00103450, version 1




D. Borrione, M. Liu, P. Ostier, Laurent Fesquet. PSL-based online monitoring of digital systems. 2005, pp.465-478. ⟨hal-00103450⟩



Record views