Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing.

Amr Helmy, Laurence Pierre, Axel Jantsch

Browse the full DDECS paper archive.