Automated Generation of Synchronous Formal Models from SystemC Descriptions.

Hamoudi Kalla David Berner Jean-Pierre Talpin

Published in: J. Circuits Syst. Comput. (2019)

Keyphrases

formal models
rule based systems
formal model
process model
semi automated
fully automated
high level
case study
generation process
computer assisted
natural language descriptions
information retrieval
asynchronous communication
knowledge based systems
data driven
knowledge base
social networks