%0 Conference Paper %1 conf/ivsw/AlimiLMT16 %A Alimi, Nejmeddine %A Lahbib, Younes %A Machhout, Mohsen %A Tourki, Rached %B IVSW %D 2016 %I IEEE %K dblp %P 1-6 %T Simulation-based verification of large-integer arithmetic circuits. %U http://dblp.uni-trier.de/db/conf/ivsw/ivsw2016.html#AlimiLMT16 %@ 978-1-5090-1141-4

@inproceedings{conf/ivsw/AlimiLMT16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Alimi, Nejmeddine and Lahbib, Younes and Machhout, Mohsen and Tourki, Rached}, biburl = {https://www.bibsonomy.org/bibtex/234ff8976e7b31eaf53330365ea616a70/dblp}, booktitle = {IVSW}, crossref = {conf/ivsw/2016}, ee = {https://doi.org/10.1109/IVSW.2016.7566601}, interhash = {97212a787eda452ddbcf3acbcebb3f90}, intrahash = {34ff8976e7b31eaf53330365ea616a70}, isbn = {978-1-5090-1141-4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T09:15:28.000+0200}, title = {Simulation-based verification of large-integer arithmetic circuits.}, url = {http://dblp.uni-trier.de/db/conf/ivsw/ivsw2016.html#AlimiLMT16}, year = 2016 }