DGIV21

@inproceedings{DGIV21,
author    = {Dureja, Rohit and Gurfinkel, Arie and Ivrii, Alexander and Vizel, Yakir},
title     = {{IC3 with Internal Signals}},
booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
publisher = {{IEEE/ACM}},
address   = {New Haven, CT, USA},
editors   = {Ruzica Piskac and Michael Whalen},
month     = {October},
year      = {2021},
url       = {https://ieeexplore.ieee.org/document/9617709},
abstract  = {This paper extends IC3 to learn invariants over internal signals in addition to state variables, addressing cases where compact state-only invariants are hard to derive. The method improves sequential equivalence checking and shows strong results on industrial and competition benchmarks.},
preprint  = {../papers/DGIV21.pdf},
award	  = {Best Paper Award}
}