Josef Strnadel. Statistical Model Checking of Approximate Circuits: Challenges and Opportunities. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 1574-1577, IEEE, 2020. [doi]
@inproceedings{Strnadel20,
title = {Statistical Model Checking of Approximate Circuits: Challenges and Opportunities},
author = {Josef Strnadel},
year = {2020},
doi = {10.23919/DATE48585.2020.9116207},
url = {https://doi.org/10.23919/DATE48585.2020.9116207},
researchr = {https://researchr.org/publication/Strnadel20},
cites = {0},
citedby = {0},
pages = {1574-1577},
booktitle = {2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020},
publisher = {IEEE},
isbn = {978-3-9819263-4-7},
}