Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits.
Rolf DrechslerAlireza MahzoonPublished in: ISDCS (2023)
Keyphrases
- formal verification
- model checking
- model checker
- artificial intelligence
- bounded model checking
- expert systems
- machine learning
- automated verification
- case based reasoning
- knowledge based systems
- knowledge representation
- symbolic model checking
- high speed
- automatically generated
- arithmetic operations
- program slicing
- functional verification
- logic circuits
- ai systems
- lecture notes in artificial intelligence
- temporal logic
- intelligent systems