Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F22%3APU143691" target="_blank" >RIV/00216305:26230/22:PU143691 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.fit.vut.cz/research/publication/12649/" target="_blank" >https://www.fit.vut.cz/research/publication/12649/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/DDECS54261.2022.9770166" target="_blank" >10.1109/DDECS54261.2022.9770166</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20206 - Computer hardware and architecture
Návaznosti výsledku
Projekt
<a href="/cs/project/GA19-10137S" target="_blank" >GA19-10137S: Navrhování a využívání knihoven aproximativních obvodů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2022
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
ISBN
978-1-6654-9431-1
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
88-93
Název nakladatele
Institute of Electrical and Electronics Engineers
Místo vydání
Prague
Místo konání akce
Prague
Datum konání akce
6. 4. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000835725500016