Maksim Jenihhin, Xinhui Lai, Tara Ghasempouri, Jaan Raik. Towards Multidimensional Verification: Where Functional Meets Non-Functional. In Jari Nurmi, Peeter Ellervee, Juri Mihhailov, Maksim Jenihhin, Kalle Tammemäe, editors, 2018 IEEE Nordic Circuits and Systems Conference, NORCAS 2018: NORCHIP and International Symposium of System-on-Chip (SoC), Tallinn, Estonia, October 30-31, 2018. pages 1-7, IEEE, 2018. [doi]
Abstract is missing.