Generation of Abstract Driver Models for IP Integration Verification.

Thomas Fehmel Dominik Stoffel Wolfgang Kunz

Published in: IEEE Trans. Emerg. Top. Comput. (2020)

Keyphrases

experimental data
model checking
databases
genetic algorithm
relational databases
probabilistic model
graphical models
accurate models