Publication result detail

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

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

Original Title

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

English Title

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

Type

Paper in proceedings (conference paper)

Original Abstract

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

English abstract

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

Keywords

approximate computing, median filters, design automation

Key words in English

approximate computing, median filters, design automation

Authors

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

Released

25.05.2025

Publisher

Institute of Electrical and Electronics Engineers

Location

London

ISBN

979-8-3503-5683-0

Book

2025 IEEE International Symposium on Circuits and Systems (ISCAS)

Pages from

1

Pages to

5

Pages count

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