Rolf Drechsler, Alireza Mahzoon. Preserving Design Hierarchy Information for Polynomial Formal Verification. In 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022. pages 1-7, IEEE, 2022. [doi]
Abstract is missing.