PVS files for the paper

Formal Models of Guaranteed and Best-Effort Services for Networks on Chip

• pvs tared file

• Port
• Peer
• Node
• Slot table
• Buffer Address
• Packet
• Buffer Data
• Local credit
• Network Data
• Route
• Dependency Graph
• Arbiter
• State Transition
• Automata and Reachability
• Deadlock
• Simplified ANIP
• NoC automaton