Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting

Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting

We present a method employing Answer Set Programming in combination with Approximate Model Counting for fast and accurate calculation of error propagation probabilities in digital circuits. By an efficient problem encoding, we achieve an input data format similar to a Verilog netlist so that extensi...

Full description

Bibliographic Details
Main Authors: Anselm Breitenreiter, Marko Andjelkovic, Oliver Schrape, Milos Krstic
Format: Article
Language:English
Published: IEEE 2022-01-01
Series:IEEE Access
Subjects:
Answer set programming
approximate model counting
error propagation
radhard design
reliability analysis
selective fault tolerance
Online Access:https://ieeexplore.ieee.org/document/9773280/

Internet

https://ieeexplore.ieee.org/document/9773280/

Similar Items