@inproceedings{DBLP:conf/memocode/FraerKKNPSTVY14,
author = {Ranan Fraer and
Doron Keren and
Zurab Khasidashvili and
Alexander Novakovsky and
Avi Puder and
Eli Singerman and
Eran Talmor and
Moshe Y. Vardi and
Jin Yang},
title = {From visual to logical formalisms for SoC validation},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {165--174},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961855},
doi = {10.1109/MEMCOD.2014.6961855},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FraerKKNPSTVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/YangP05,
author = {Jin Yang and
Avi Puder},
editor = {Tingao Tang},
title = {Tightly integrate dynamic verification with formal verification: a
{GSTE} based approach},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {327--330},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120860},
doi = {10.1145/1120725.1120860},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/YangP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
