Login / Signup
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