Preserving Design Hierarchy Information for Polynomial Formal Verification

@inproceedings{pub12637,
    author = {

Drechsler, Rolf
 and 

Mahzoon, Alireza
},
    title = {Preserving Design Hierarchy Information for Polynomial Formal Verification},
    booktitle = {IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece},
    year = {2022}
}