Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs.

Paula Herber Timm Liebrenz

Published in: MEMOCODE (2020)

Keyphrases

formal analysis
automated analysis
data analysis
statistical analysis
formal methods
neural network
artificial intelligence
knowledge representation