Accelerating NoC Verification Using a Complete Model and Active Window.

Surajit Das Chandan Karfa Santosh Biswas

Published in: IEEE Access (2022)

Keyphrases

probabilistic model
theoretical analysis
computational model
experimental data
multi agent
cost function
neural network
knowledge base
process model
conceptual model
prediction model
verification method
colored petri nets