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

https://hal.archives-ouvertes.fr/hal-00103450
Contributor : Lucie Torella <>
Submitted on : Wednesday, October 4, 2006 - 2:35:28 PM
Last modification on : Wednesday, May 16, 2018 - 6:30:03 PM

Identifiers

  • HAL Id : hal-00103450, version 1

Collections

TIMA | UGA

Citation

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

Share

Metrics

Record views

231