Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper. SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. In 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2020, Novi Sad, Serbia, April 22-24, 2020. pages 1-4, IEEE, 2020. [doi]
@inproceedings{RiazatiDSL20,
title = {SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs},
author = {Mohammad Riazati and Masoud Daneshtalab and Mikael Sjödin and Björn Lisper},
year = {2020},
doi = {10.1109/DDECS50862.2020.9095728},
url = {https://doi.org/10.1109/DDECS50862.2020.9095728},
researchr = {https://researchr.org/publication/RiazatiDSL20},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2020, Novi Sad, Serbia, April 22-24, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9938-2},
}