Publikation
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.
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023