Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. - Ghiath Al Sammane; Mohamed H. Zaki; Zhi Jie Dong; Sofiène Tahar (FDL, 2007)