TY  - RPRT
TI  - Towards Multidimensional Verification: Where Functional Meets Non-Functional
AU  - Maksim Jenihhin
AU  - Xinhui Lai
AU  - Tara Ghasempouri
AU  - Jaan Raik
PY  - 2019
DO  - 10.1109/norchip.2018.8573495
UR  - https://arxiv.org/abs/1908.00314
ID  - 1908.00314
ER  -