A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model.

Zhao Lv Shuming Chen Tingrong Zhang Yaohua Wang

Published in: IEEE Access (2019)

Keyphrases

graph model
verification method
model checking
formal specification
formal methods
temporal logic
graph representation
bipartite graph
graph structure
weighted graph
high level
similarity measure
clustering method
supervised learning
vector space model