Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. - Laurence Pierre; Luca Ferro; Zeineb Bel Hadj Amor; Philippe Bourgon; Jérôme Quévremont (SIES, 2012)