Static Scheduling of Multi-Domain Memories For Functional Verification.

Murali Kudlugi Charles Selvidge Russell Tessier

Published in: ICCAD (2001)

Keyphrases

multi domain
functional verification
cross domain
domain specific
search computing
scheduling algorithm
formal verification
heterogeneous networks
case study
general purpose
high speed
real world
decision trees
software engineering
low latency