Publication Details

Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking

STRNADEL Josef. Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking. In: Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Prague: Institute of Electrical and Electronics Engineers, 2022, pp. 88-93. ISBN 978-1-6654-9431-1.
Czech title
Analýza dynamických stránek systémů přibližného počítání prostředky statistického ověřování modelů
Type
conference paper
Language
english
Authors
Keywords

approximate circuit, error, trade-off, relaxed equivalence, verification, timed automaton, stochastic automaton, modeling, simulation, model checking

Abstract

Many researchers shown that approximate circuits are able to provide a new perspective on the development of electronic systems. Mostly, they tried to find an optimal trade-off between the approximation error and resource savings for predefined applications. However, they used to concentrate mainly on design aspects regarding relaxed functional requirements, but neglected aspects like timing, sequential/asynchronous nature of circuits, uncertainty due to process/parameter variations, excessively high operating frequencies or low voltages. This paper aims to take a step ahead by moving towards the verification of dynamic properties of systems based on approximate circuits, with a focus on sequential/asynchronous circuits and uncertainty. First, the paper presents our approach to modeling approximate systems by means of stochastic hybrid timed automata. Then, it shows the principle/advantage of verifying properties of modeled systems by the so-called statistical model checking technique. Further, it presents a framework that takes at its input the model of an accurate system, its timing and other requirements and expected properties, information about basic building blocks and acceptable cost/quality trade-off to produce an approximated system that meets the requirements maximally and satisfies the properties. Finally, the paper evaluates our approach and outlines future research perspectives.

Published
2022
Pages
88-93
Proceedings
Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Conference
25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Hotel Vienna House Diplomat Prague, Evropská 370/15, 160 41 Praha 6, CZ
ISBN
978-1-6654-9431-1
Publisher
Institute of Electrical and Electronics Engineers
Place
Prague, CZ
DOI
UT WoS
000835725500016
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12649,
   author = "Josef Strnadel",
   title = "Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking",
   pages = "88--93",
   booktitle = "Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)",
   year = 2022,
   location = "Prague, CZ",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-6654-9431-1",
   doi = "10.1109/DDECS54261.2022.9770166",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12649"
}
Back to top