Power specification, simulation and verification of SystemC designs.

Kirill Gagarski Maxim Petrov Mikhail J. Moiseev Ilya Klotchkov

Published in: EWDTS (2016)

Keyphrases

colored petri nets
formal verification
asynchronous circuits
petri net
formal methods
functional verification
databases
high level
user defined
numerical simulations
simulation environment
protocol specification
database
neural network
power consumption
simulation model