print

Understanding multidimensional verification : where functional meets non-functional

author
Lai, Xinhui
Balakrishnan, Aneesh
Lange, Thomas
Jenihhin, Maksim
Ghasempouri, Tara
Raik, Jaan
Alexandrescu, Dan
statement of authorship
Xinhui Lai, Aneesh Balakrishnan, Thomas Lange, Maksim Jenihhin, Tara Ghasempouri, Jaan Raik, Dan Alexandrescu
source
Microprocessors and microsystems
publisher
Elsevier B.V.
journal volume number month
vol. 71
year of publication
2019
pages
art. 102867, 13 p. : ill
url
https://doi.org/10.1016/j.micpro.2019.102867
subject term
riistvara
verifikatsioon
tehisõpe
keyword
extra-functional verification
functional verification
survey
taxonomy
security verification
reliability verification
power verification
machine learning
ISSN
0141-9331
notes
Bibliogr.: 86 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
category (sub)
Computer science. Computer networks and communications
Computer science. Hardware and architecture
Computer science. Software
Computer science. Artificial intelligence
kvartiil
Q2
TTÜ department
arvutisüsteemide instituut
language
inglise
Uurimisrühm
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems
Lai, X., Balakrishnan, A., Lange, T., Jenihhin, M., Ghasempouri, T., Raik, J., Alexandrescu, D. Understanding multidimensional verification : where functional meets non-functional // Microprocessors and microsystems (2019) vol. 71, art. 102867, 13 p. : ill. https://doi.org/10.1016/j.micpro.2019.102867