Detail publikace

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

STRNADEL, J.

Originální název

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

Anglický název

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

Jazyk

en

Originální abstrakt

Many works have shown that approximate circuits may play an important role in the development of resourceefficient electronic systems. This motivates many researchers to propose new approaches for finding an optimal trade-off between the approximation error and resource savings for predefined applications of approximate circuits. The works and approaches, however, focus mainly on design aspects regarding relaxed functional requirements while neglecting further aspects such as signal and parameter dynamics/stochasticity, relaxed/non-functional equivalence, testing or formal verification. This paper aims to take a step ahead by moving towards the formal verification of time-dependent properties of systems based on approximate circuits. Firstly, it presents our approach to modeling such systems by means of stochastic timed automata whereas our approach goes beyond digital, combinational and/or synchronous circuits and is applicable in the area of sequential, analog and/or asynchronous circuits as well. Secondly, the paper shows the principle and advantage of verifying properties of modeled approximate systems by the statistical model checking technique. Finally, the paper evaluates our approach and outlines future research perspectives.

Anglický abstrakt

Many works have shown that approximate circuits may play an important role in the development of resourceefficient electronic systems. This motivates many researchers to propose new approaches for finding an optimal trade-off between the approximation error and resource savings for predefined applications of approximate circuits. The works and approaches, however, focus mainly on design aspects regarding relaxed functional requirements while neglecting further aspects such as signal and parameter dynamics/stochasticity, relaxed/non-functional equivalence, testing or formal verification. This paper aims to take a step ahead by moving towards the formal verification of time-dependent properties of systems based on approximate circuits. Firstly, it presents our approach to modeling such systems by means of stochastic timed automata whereas our approach goes beyond digital, combinational and/or synchronous circuits and is applicable in the area of sequential, analog and/or asynchronous circuits as well. Secondly, the paper shows the principle and advantage of verifying properties of modeled approximate systems by the statistical model checking technique. Finally, the paper evaluates our approach and outlines future research perspectives.

Dokumenty

BibTex


@inproceedings{BUT162083,
  author="Josef {Strnadel}",
  title="Statistical Model Checking of Approximate Circuits: Challenges and Opportunities",
  annote="Many works have shown that approximate circuits may play an important role in the
development of resourceefficient electronic systems. This motivates many
researchers to propose new approaches for finding an optimal trade-off between
the approximation error and resource savings for predefined applications of
approximate circuits. The works and approaches, however, focus mainly on design
aspects regarding relaxed functional requirements while neglecting further
aspects such as signal and parameter dynamics/stochasticity,
relaxed/non-functional equivalence, testing or formal verification. This paper
aims to take a step ahead by moving towards the formal verification of
time-dependent properties of systems based on approximate circuits. Firstly, it
presents our approach to modeling such systems by means of stochastic timed
automata whereas our approach goes beyond digital, combinational and/or
synchronous circuits and is applicable in the area of sequential, analog and/or
asynchronous circuits as well. Secondly, the paper shows the principle and
advantage of verifying properties of modeled approximate systems by the
statistical model checking technique. Finally, the paper evaluates our approach
and outlines future research perspectives.",
  address="IEEE Computer Society",
  booktitle="Design, Automation & Test in Europe Conference & Exhibition (DATE)",
  chapter="162083",
  edition="NEUVEDEN",
  howpublished="online",
  institution="IEEE Computer Society",
  year="2020",
  month="march",
  pages="1--4",
  publisher="IEEE Computer Society",
  type="conference paper"
}