< retour aux publications

On the Effectiveness of Assertion-Based Verification in an Industrial Context

Auteur(s) : L. Pierre, F. Pancher, R. Suescun, J. Quévremont

Doc. Source: 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13)

Publisher : Springer

Pages : 78-93

Doi : 10.1007/978-3-642-41010-9_6

Assertion-Based Verification is widely gaining acceptance. It makes use of assertions, which are formal expressions of the expected specification or requirements. Writing assertions concurrently with the design can bring significant benefits to both the design and verification processes for digital circuits. From the concrete perspective of an industrial development flow, inserting synthesized assertion monitors and associated debug infrastructures in an FPGA-based environment can improve the debugging phases in many application domains. This paper advocates this approach, through the presentation of the validation of an industrial HDLC controller IP using synthesizable property monitors, and draws conclusions from these experiments.