Wolfgang Kunz, Dominik Stoffel, Joakim Urdahl. T4B: Formal verification in system-on-chip design: Scientific foundations and practical methodology. In 27th IEEE International System-on-Chip Conference, SOCC 2014, Las Vegas, NV, USA, September 2-5, 2014. IEEE, 2014. [doi]
Abstract is missing.