Generation of SystemVerilog Observers from SysML and MARTE/CCSL.

Aamir M. Khan Muhammad Rashid

Published in: ISORC (2016)

Keyphrases

modeling language
generation process
artificial intelligence
data model
probabilistic model
metamodel
object oriented programming
formal methods
human observers
generation method