Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional Verification.

Peiying Lin Kenli Li Zheng Xiao Cen Chen Siyang Yu

Published in: RTAS (2021)

Keyphrases

functional verification
partitioning algorithm
vertex set
depth first search
normalized cut
graph structure
low cost
graph partitioning
parallel computing
real time
parallel implementation
weighted graph
distributed memory
spectral clustering
formal verification
model checking
case study
information systems