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

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

20206 - Computer hardware and architecture

Project

<a href="/en/project/GA19-10137S" target="_blank" >GA19-10137S: Designing and exploiting libraries of approximate circuits</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

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

—

Number of pages

6

Pages from-to

88-93

Publisher name

Institute of Electrical and Electronics Engineers

Place of publication

Prague

Event location

Prague

Event date

Apr 6, 2022

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000835725500016