Publikation

Preserving Design Hierarchy Information for Polynomial Formal Verification

Rolf Drechsler; Alireza Mahzoon

In: 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, 2022.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence