Toward a graph-based dependence analysis framework for high level design verification.
John D. LeidelFrank ConlonPublished in: CF (2019)
Keyphrases
- high level
- design principles
- conceptual framework
- low level
- design process
- higher level
- software suite
- formal analysis
- real time
- main contribution
- middle level
- conceptual model
- knowledge based systems
- engineering design
- learning algorithm
- high level abstraction
- functional verification
- analysis tool
- data sets
- data mining
- quantitative analysis
- model checking
- image segmentation
- building blocks
- image analysis