Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification.
Jiahui XuLana JosipovicPublished in: ICCAD (2023)
Keyphrases
- inductive learning
- design methodology
- face verification
- fully automatic
- inductive logic programming
- machine learning
- asynchronous circuits
- formal methods
- parallel computing
- concept learning
- model checking
- high speed
- multiscale
- semi automatic
- affine invariant
- data driven
- knowledge base
- rule learning
- highly scalable
- web scale
- data sets
- verification method
- electronic circuits