Detail publikačního výsledku

AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs

MRÁZEK, V.; VAŠÍČEK, Z.

Originální název

AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs

Anglický název

AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

The increasing demand for energy-efficient solutions has led to the emergence of an approximate computing paradigm that enables power-efficient implementations in various application areas such as image and data processing. The median filter, widely used in image processing and computer vision, is of immense importance in these domains. We propose a systematic design methodology for the design of power-efficient median networks suitable for on-chip or FPGA-based implementations. A search-based design method is used to obtain approximate medians that show the desired trade-offs between accuracy, power consumption and area on chip. A new metric tailored to this problem is proposed to quantify the accuracy of approximate medians. Instead of the simple error rate, our method analyses the rank error. A significant improvement in implementation cost is achieved. For example, compared to the well-optimized high-throughput implementation of the exact 9-input median, a 30% reduction in area and a 36% reduction in power consumption was achieved by introducing an error by one position (i.e., allowing the 4th or 6th lowest input to be returned instead of the median).

Anglický abstrakt

The increasing demand for energy-efficient solutions has led to the emergence of an approximate computing paradigm that enables power-efficient implementations in various application areas such as image and data processing. The median filter, widely used in image processing and computer vision, is of immense importance in these domains. We propose a systematic design methodology for the design of power-efficient median networks suitable for on-chip or FPGA-based implementations. A search-based design method is used to obtain approximate medians that show the desired trade-offs between accuracy, power consumption and area on chip. A new metric tailored to this problem is proposed to quantify the accuracy of approximate medians. Instead of the simple error rate, our method analyses the rank error. A significant improvement in implementation cost is achieved. For example, compared to the well-optimized high-throughput implementation of the exact 9-input median, a 30% reduction in area and a 36% reduction in power consumption was achieved by introducing an error by one position (i.e., allowing the 4th or 6th lowest input to be returned instead of the median).

Klíčová slova

approximate computing, median filters, design automation

Klíčová slova v angličtině

approximate computing, median filters, design automation

Autoři

MRÁZEK, V.; VAŠÍČEK, Z.

Rok RIV

2026

Vydáno

25.05.2025

Nakladatel

Institute of Electrical and Electronics Engineers

Místo

London

ISBN

979-8-3503-5683-0

Kniha

2025 IEEE International Symposium on Circuits and Systems (ISCAS)

Strany od

1

Strany do

5

Strany počet

5

BibTex

@inproceedings{BUT194216,
  author="Vojtěch {Mrázek} and Zdeněk {Vašíček}",
  title="AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs",
  booktitle="2025 IEEE International Symposium on Circuits and Systems (ISCAS)",
  year="2025",
  pages="1--5",
  publisher="Institute of Electrical and Electronics Engineers",
  address="London",
  doi="10.1109/ISCAS56072.2025.11043775",
  isbn="979-8-3503-5683-0"
}