Observable Time Windows: Verifying High-Level Synthesis Results.

Reinaldo A. Bergamaschi Salil Raje

Published in: IEEE Des. Test Comput. (1997)

Keyphrases

high level synthesis
parallel architecture
vehicle routing
model checking
vehicle routing problem
traveling salesman problem
design space exploration
dynamic programming
data processing
differential equations