< retour aux publications

On-line monitoring of properties built on regular expressions

Auteur(s) : K. Morin-Allory, D. Borrione

Doc. Source: Forum on Specification and Design Languages (FDL'06)

Publisher : ECSI

Pages : 249-254

We present an original method for generating monitors that capture sequence of events specified by logical and temporal properties under the form of assertions in declarative form written either in PSL or in SVA. The method includes an elementary monitor, a library of primitive connectors, a technique to interconnect them, and tokens either monochrome or polychrome. This results in a synthesizable digital module that can be properly connected to a digital system under verification. The complexity of the generation is proportional to the size of the sequence expression.