Publication
Polynomial Formal Verification of KFDD Circuits
Martha Schnieber; Rolf Drechsler
In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design. ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-2023), September 21-22, Hamburg, Germany, 2023.