Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont. Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. In 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012. pages 220-228, IEEE, 2012. [doi]
Abstract is missing.