The following publications are possibly variants of this publication:
- Assertion based verification of PSL for SystemC designsAli Habibi, Amjad Gawanmeh, Sofiène Tahar. issoc 2004: 177-180 [doi]
- Towards an efficient assertion based verification of SystemC designsAli Habibi, Sofiène Tahar. hldvt 2004: 19-22 [doi]
- Formal verification of analog and mixed signal designs: A surveyMohamed H. Zaki, Sofiène Tahar, Guy Bois. mj, 39(12):1395-1404, 2008. [doi]
- Formal Verification of Analog and Mixed Signal Designs in MathematicaMohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar. iccS 2007: 263-267 [doi]
- A symbolic methodology for the verification of analog and mixed signal designsGhiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar. date 2007: 249-254 [doi]