Symbolic NFA scheduling of a RISC microprocessor.
Forrest BrewerSteve HaynalPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2002)
Keyphrases
- instruction set
- scheduling algorithm
- scheduling problem
- application specific
- high speed
- special purpose hardware
- resource allocation
- regular expressions
- resource constraints
- high level
- round robin
- dynamic scheduling
- symbolic representation
- functional verification
- symbolic description
- finite state automata
- container terminal
- real time database systems
- string matching
- multiresolution
- lower bound