Anam Zaman, Osman Hasan. Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN. In Jari Nurmi, Peeter Ellervee, Dragomir Milojevic, Ondrej Daniel, Tommi Paakki, editors, 2014 International Symposium on System-on-Chip, SoC 2014, Tampere, Finland, October 28-29, 2014. pages 1-8, IEEE, 2014. [doi]
Abstract is missing.