A fast HDL model for full-custom FPGA verification.

Kaixuan Zhang Zhihua Feng Hao Zhou

Published in: ASICON (2017)

Keyphrases

computational model
mathematical model
prediction model
probabilistic model
high speed
domain specific
theoretical analysis
theoretical framework
process model
parameter estimation
model checking
experimental data
petri net
database
em algorithm
image segmentation
data sets