- Specification's authors: Tom Rodeheffer
- Original paper: C. Thacker, A. Nowatzyk, T. Rodeheffer, and F. Yu. A data center network using FPGAs (v4.5), April 2011. Unpublished.
- Extended modules: FinSet, Nat, Seq
- Computation models: ❓
- Some properties checked with TLC: AllLinkEvQuiet, AllNodeInSlotEvAvail, AllNodeOutSlotEvAvail
- Only PDF files