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
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
https://www.scopus.com/sourceid/15552
https://www.scopus.com/record/display.uri?eid=2-s2.0-85071020969&origin=inward&txGid=87d2f90199a10d44d941b14d594d2f30
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000500052000047
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
Computer science. Software
Arvutiteadus. Tarkvara
Computer science. Artificial intelligence
Arvutiteadus. Tehisintellekt
quartile
Q2
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems