Login / Signup
A reusable verification environment for NoC platforms using UVM.
Ahmed S. Eissa
Moamen A. Ibrahem
Mahmoud A. Elmohr
Yasmin Zamzam
Ahmed El-Yamany
Sameh El-Ashry
Mostafa Khamis
Ahmed Shalaby
Published in:
EUROCON (2017)
Keyphrases
</>
real time
data sets
dynamic environments
complex environments
computing platform
database
mobile robot
object oriented
virtual world
software systems
end to end
formal methods
formal verification
multi agent based simulation