Ryogo Koikel, Masahiro Fujita. Efficient Reachability Analysis Based on Inductive Invariant Using X-value Based Flipflop Selection. In 22nd International Symposium on Quality Electronic Design, ISQED 2021, Santa Clara, CA, USA, April 7-9, 2021. pages 34-40, IEEE, 2021. [doi]
@inproceedings{KoikelF21, title = {Efficient Reachability Analysis Based on Inductive Invariant Using X-value Based Flipflop Selection}, author = {Ryogo Koikel and Masahiro Fujita}, year = {2021}, doi = {10.1109/ISQED51717.2021.9424357}, url = {https://doi.org/10.1109/ISQED51717.2021.9424357}, researchr = {https://researchr.org/publication/KoikelF21}, cites = {0}, citedby = {0}, pages = {34-40}, booktitle = {22nd International Symposium on Quality Electronic Design, ISQED 2021, Santa Clara, CA, USA, April 7-9, 2021}, publisher = {IEEE}, isbn = {978-1-7281-7641-3}, }