Login / Signup
Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution.
Alan Hunter
Andrew Piziali
Avi Ziv
Kelly Larson
Shankar Hemmady
Published in:
MTV (2008)
Keyphrases
</>
plan generation
execution model
plan execution
database
execution engine
decision support
heuristic search
data flow
functional verification
face recognition
low power
formal methods
formal verification
hardware software partitioning