Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mrazek, Vojtech, Vasicek, Zdenek
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ObfAx: Obfuscation and IP Piracy Detection in Approximate Circuits
von: Sekanina, Lukas, et al.
Veröffentlicht: (2026)

Exploring Quantization and Mapping Synergy in Hardware-Aware Deep Neural Network Accelerators
von: Klhufek, Jan, et al.
Veröffentlicht: (2024)

Evolutionary Approximation of Ternary Neurons for On-sensor Printed Neural Networks
von: Mrazek, Vojtech, et al.
Veröffentlicht: (2024)

ApproxGNN: A Pretrained GNN for Parameter Prediction in Design Space Exploration for Approximate Computing
von: Vlcek, Ondrej, et al.
Veröffentlicht: (2025)

Designing Approximate Arithmetic Circuits with Combined Error Constraints
von: Češka, Milan, et al.
Veröffentlicht: (2022)

Late Breaking Result: FPGA-Based Emulation and Fault Injection for CNN Inference Accelerators
von: Masar, Filip, et al.
Veröffentlicht: (2025)

TRAPTI: Time-Resolved Analysis for SRAM Banking and Power Gating Optimization in Embedded Transformer Inference
von: Klhufek, Jan, et al.
Veröffentlicht: (2026)

HALOC-AxA: An Area/-Energy-Efficient Approximate Adder for Image Processing Application
von: Ziad, Hasnain A., et al.
Veröffentlicht: (2025)

DiffAxE: Diffusion-driven Hardware Accelerator Generation and Design Space Exploration
von: Ghosh, Arkapravo, et al.
Veröffentlicht: (2025)

AxOMaP: Designing FPGA-based Approximate Arithmetic Operators using Mathematical Programming
von: Sahoo, Siva Satyendra, et al.
Veröffentlicht: (2023)

AxMoE: Characterizing the Impact of Approximate Multipliers on Mixture-of-Experts DNN Architectures
von: Shende, Omkar B, et al.
Veröffentlicht: (2026)

The Tiny Median Filter: A Small Size, Flexible Arbitrary Percentile Finder Scheme Suitable for FPGA Implementation
von: Wu, Jinyuan
Veröffentlicht: (2024)

ConnChecker: Automated Root-Cause Analysis for Formal Connectivity Check via Graph
von: Tiep, Do Ngoc, et al.
Veröffentlicht: (2026)

Automated Placement of Analog Integrated Circuits using Priority-based Constructive Heuristic
von: Grus, Josef, et al.
Veröffentlicht: (2024)

Design and Analysis of Approximate Hardware Accelerators for VVC Intra Angular Prediction
von: de Fraga, Lucas M. Leipnitz, et al.
Veröffentlicht: (2025)

Co-Design of CNN Accelerators for TinyML using Approximate Matrix Decomposition
von: Morales, José Juan Hernández, et al.
Veröffentlicht: (2026)

pHNSW: PCA-Based Filtering to Accelerate HNSW Approximate Nearest Neighbor Search
von: Li, Zheng, et al.
Veröffentlicht: (2026)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
von: Sahoo, Siva Satyendra, et al.
Veröffentlicht: (2025)

AxLLM: accelerator architecture for large language models with computation reuse capability
von: Ahadi, Soroush, et al.
Veröffentlicht: (2025)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
von: Zhou, Xiaofeng, et al.
Veröffentlicht: (2026)

Designing Reconfigurable Interconnection Network of Heterogeneous Chiplets Using Kalman Filter
von: Biglari, Siamak, et al.
Veröffentlicht: (2024)

FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures
von: Bai, Yunsheng, et al.
Veröffentlicht: (2025)

Shift-Left Techniques in Electronic Design Automation: A Survey
von: Wu, Xinyue, et al.
Veröffentlicht: (2025)

LIMCA: LLM for Automating Analog In-Memory Computing Architecture Design Exploration
von: Vungarala, Deepak, et al.
Veröffentlicht: (2025)

AutoRAC: Automated Processing-in-Memory Accelerator Design for Recommender Systems
von: Cheng, Feng, et al.
Veröffentlicht: (2025)

AGON: Automated Design Framework for Customizing Processors from ISA Documents
von: Li, Chongxiao, et al.
Veröffentlicht: (2024)

RFAmpDesigner: A Self-Evolving Multi-Agent LLM Framework for Automated Radio Frequency Amplifier Design
von: Lu, Hang, et al.
Veröffentlicht: (2026)

ChatHLS: Towards Systematic Design Automation and Optimization for High-Level Synthesis
von: Li, Runkai, et al.
Veröffentlicht: (2025)

Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT
von: Chao, Zhiteng, et al.
Veröffentlicht: (2025)

Signal Prediction for Digital Circuits by Sigmoidal Approximations using Neural Networks
von: Salzmann, Josef, et al.
Veröffentlicht: (2024)

Co-Designing Graph-based Approximate Nearest Neighbor Search at Billion Scale for Processing-in-Memory
von: Chen, Sitian, et al.
Veröffentlicht: (2026)

UVLLM: An Automated Universal RTL Verification Framework using LLMs
von: Hu, Yuchen, et al.
Veröffentlicht: (2024)

FIFOAdvisor: A DSE Framework for Automated FIFO Sizing of High-Level Synthesis Designs
von: Abi-Karam, Stefan, et al.
Veröffentlicht: (2025)

Convolutions Predictable Offloading to an Accelerator: Formalization and Optimization
von: Husson, Benjamin, et al.
Veröffentlicht: (2026)

RealProbe: An Automated and Lightweight Performance Profiler for In-FPGA Execution of High-Level Synthesis Designs
von: Kim, Jiho, et al.
Veröffentlicht: (2025)

QiMeng-CPU-v2: Automated Superscalar Processor Design by Learning Data Dependencies
von: Cheng, Shuyao, et al.
Veröffentlicht: (2025)

Blink: Fast Automated Design of Run-Time Power Monitors on FPGA-Based Computing Platforms
von: Galimberti, Andrea, et al.
Veröffentlicht: (2024)

Evaluation of Run-Time Energy Efficiency using Controlled Approximation in a RISC-V Core
von: Delavari, Arvin, et al.
Veröffentlicht: (2024)

Automated Design and Optimization of Distributed Filtering Circuits via Reinforcement Learning
von: Gao, Peng, et al.
Veröffentlicht: (2024)

AnalogMaster: Large Language Model-based Automated Analog IC Design Framework from Image to Layout
von: Qin, Xian Rong, et al.
Veröffentlicht: (2026)