Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki. An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. Computers & Electrical Engineering, 31(4-5):282-302, 2005. [doi]
Abstract is missing.