Integrating PSL properties into SystemC transactional modeling — Application to the verification of a modem SoC | IEEE Conference Publication | IEEE Xplore