iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/isvlsi/SchnieberFD22.bib
@inproceedings{DBLP:conf/isvlsi/SchnieberFD22, author = {Martha Schnieber and Saman Fr{\"{o}}hlich and Rolf Drechsler}, title = {Polynomial Formal Verification of Approximate Functions}, booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2022, Nicosia, Cyprus, July 4-6, 2022}, pages = {92--97}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ISVLSI54635.2022.00029}, doi = {10.1109/ISVLSI54635.2022.00029}, timestamp = {Sat, 30 Sep 2023 09:50:55 +0200}, biburl = {https://dblp.org/rec/conf/isvlsi/SchnieberFD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }