Verification of coarse-grained reconfigurable arrays through random test programs.

Bernhard Egger Eunjin Song Hochan Lee Daeyoung Shin

Published in: LCTES (2018)

Keyphrases

coarse grained
fine grained
protein sequences
test generation
model checking
high level
pairwise
access control
shared memory
machine learning
message passing