SoC verification platforms using HW emulation and co-modeling Testbench technologies.

Mohamed Abdelsalam Ashraf Salem

Published in: IDT (2015)

Keyphrases

bayesian networks
model checking
st century
web technologies
database systems
information technology
open source
petri net
modeling method
computing platform
colored petri nets