DurejaBGKR24

@inproceedings{DurejaBGKR24,
author    = {Dureja, Rohit and Baumgartner, Jason and Gajavelly, Raj Kumar and Kanzelman, Robert and Rozier, Kristin Y.},
title     = {{Toward Exhaustive Sequential Redundancy Removal}},
booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
publisher = {{TU Wien Academic Press}},
year      = {2024},
abstract  = {This work targets sequential redundancy removal in hardware designs, where uncovering and eliminating redundant logic can improve the quality and downstream efficiency of verification and optimization flows. The paper advances methods aimed at making redundancy removal more exhaustive in practice, with an emphasis on scaling the analysis while preserving usefulness for industrial sequential circuits.},
award     = {Invited to Journal Special Issue},
url       = {https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_27}
}