Login / Signup
Static scheduling of multidomain circuits for fast functional verification.
Murali Kudlugi
Russell Tessier
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)
Keyphrases
</>
functional verification
scheduling problem
scheduling algorithm
formal verification
resource allocation
high speed
parallel machines
power consumption
hardware and software
design methodology
multi domain
hardware software