Raimund Ubar, Mihhail Marenkov, Dmitri Mironov, Vladimir Viies. Modeling sequential circuits with shared structurally synthesized BDDs. In 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014. pages 130-135, IEEE, 2014. [doi]
@inproceedings{UbarMMV14,
title = {Modeling sequential circuits with shared structurally synthesized BDDs},
author = {Raimund Ubar and Mihhail Marenkov and Dmitri Mironov and Vladimir Viies},
year = {2014},
doi = {10.1109/IDT.2014.7038600},
url = {http://doi.ieeecomputersociety.org/10.1109/IDT.2014.7038600},
researchr = {https://researchr.org/publication/UbarMMV14},
cites = {0},
citedby = {0},
pages = {130-135},
booktitle = {9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014},
publisher = {IEEE},
isbn = {978-1-4799-8200-4},
}