Login / Signup
Verification of a Complex SoC: The PRO3 Case-Study.
Fotis Andritsopoulos
C. Charopoulos
Gregory Doumenis
Fotis Karoubalis
Yannis Mitsos
F. Petreas
Ioanna Theologitou
Stylianos Perissakis
Dionisios I. Reisis
Published in:
DATE (2003)
Keyphrases
</>
case study
real world
genetic algorithm
complex data
formal methods
database
machine learning
image sequences
low cost
high speed
software development
lessons learned
complex environments
asynchronous circuits