Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar. Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. In Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings. pages 293-298, ECSI, 2007. [doi]
Abstract is missing.