"SystemVerilog Assertions: Past, Present, and Future SVA Standardization ..."

Doron Bustan et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics