Integration of RTL and precedence graphs with a static scheduler as verifier.

Gerhard Fohler, Christian Huber

Browse the full ECRTS paper archive.