C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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