Login / Signup
PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog.
Ka Lok Man
Chi-Un Lei
Hemangee K. Kapoor
Tomas Krilavicius
Jieming Ma
Nan Zhang
Published in:
Comput. Informatics (2016)
Keyphrases
</>
main contribution
formal analysis
quantitative analysis
databases
artificial intelligence
hidden markov models
probabilistic model
lightweight
specification language
data sets
real world
website
data analysis
statistical analysis
theoretical framework
conceptual framework