On the Reuse of RTL IPs for SysML Model Generation.

Nicola Bombieri Emad Samuel Malki Ebeid Franco Fummi Michele Lora

Published in: MTV (2012)

Keyphrases

formal methods
modeling language
safety analysis
model based diagnosis
e learning
case study
database
machine learning
artificial intelligence
learning objects
low cost
reusable components