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]
@inproceedings{SammaneZDT07,
title = {Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL},
author = {Ghiath Al Sammane and Mohamed H. Zaki and Zhi Jie Dong and Sofiène Tahar},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=285},
tags = {rule-based},
researchr = {https://researchr.org/publication/SammaneZDT07},
cites = {0},
citedby = {0},
pages = {293-298},
booktitle = {Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings},
publisher = {ECSI},
}