Open AccessDeriving tests for digital circuits at lower and higher abstraction levels
Author(s) -
Andrey Laputenko,
Evgenii Vinarskii
Publication year - 2019
Publication title -
vestnik tomskogo gosudarstvennogo universiteta. upravlenie, vyčislitelʹnaâ tehnika i informatika
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.126
H-Index - 2
eISSN - 2311-2085
pISSN - 1998-8605
DOI - 10.17223/19988605/47/13
Subject(s) - abstraction , computer science , electronic circuit , digital electronics , mathematics , arithmetic , statistics , engineering , electrical engineering , philosophy , epistemology