Open AccessUse of Formal Methods to Resolve Actual Problems of ASIC Design Verification
Author(s) -
A.A. Sokhatski
Publication year - 2020
Publication title -
problemy razrabotki perspektivnyh mikro- i nanoèlektronnyh sistem ...
Language(s) - English
Resource type - Journals
ISSN - 2078-7707
DOI - 10.31114/2078-7707-2020-3-22-27
Subject(s) - application specific integrated circuit , computer science , formal methods , formal verification , software engineering , reliability engineering , programming language , embedded system , engineering