Hendricx, StefanStefanHendricxClaesen, LucLucClaesen2021-09-302021-09-301997https://imec-publications.be/handle/20.500.12860/1922A symbolic core approach to the formal verification of integrated mixed-mode applicationsProceedings paper