Using Formal Verification Methods for Optimization of Circuits Under External Constraints.

Daniel Große Lucas Klemmer Dominik Bonora

Published in: DATE (2024)

Keyphrases

formal verification
computational cost
data mining techniques
benchmark datasets
significant improvement
optimization methods
data sets
state space
machine learning methods
partial order