Buchumschlag

Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Govindasamy, Hariprasadh, Esfandiari, Babak, Garcia, Paulo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficient Approaches for GEMM Acceleration on Leading AI-Optimized FPGAs
von: Taka, Endri, et al.
Veröffentlicht: (2024)

Studying the Degradation of Propagation Delay on FPGAs at the European XFEL
von: Lanzieri, Leandro, et al.
Veröffentlicht: (2024)

LlamaF: An Efficient Llama2 Architecture Accelerator on Embedded FPGAs
von: Xu, Han, et al.
Veröffentlicht: (2024)

An Energy-Efficient Artefact Detection Accelerator on FPGAs for Hyper-Spectral Satellite Imagery
von: Castelino, Cornell, et al.
Veröffentlicht: (2024)

Energy Efficient LSTM Accelerators for Embedded FPGAs through Parameterised Architecture Design
von: Qian, Chao, et al.
Veröffentlicht: (2026)

Leveraging Application-Specific Knowledge for Energy-Efficient Deep Learning Accelerators on Resource-Constrained FPGAs
von: Qian, Chao
Veröffentlicht: (2025)

Theoretical Analysis of the Efficient-Memory Matrix Storage Method for Quantum Emulation Accelerators with Gate Fusion on FPGAs
von: Le, Tran Xuan Hieu, et al.
Veröffentlicht: (2024)

SWAT: Scalable and Efficient Window Attention-based Transformers Acceleration on FPGAs
von: Bai, Zhenyu, et al.
Veröffentlicht: (2024)

Memory-efficient Sketch Acceleration for Handling Large Network Flows on FPGAs
von: Han, Zhaoyang, et al.
Veröffentlicht: (2025)

TeLLMe: An Energy-Efficient Ternary LLM Accelerator for Prefilling and Decoding on Edge FPGAs
von: Qiao, Ye, et al.
Veröffentlicht: (2025)

Hardware-Efficient Accurate 4-bit Multiplier for Xilinx 7 Series FPGAs
von: Kida, Misaki, et al.
Veröffentlicht: (2025)

Wavelet Based Frequency Detection Using FPGAs
von: Hill, Caleb, et al.
Veröffentlicht: (2024)

Dynamic Tsetlin Machine Accelerators for On-Chip Training at the Edge using FPGAs
von: Mao, Gang, et al.
Veröffentlicht: (2025)

Duet: Creating Harmony between Processors and Embedded FPGAs
von: Li, Ang, et al.
Veröffentlicht: (2023)

Interconnect-Aware Logic Resynthesis for Multi-Die FPGAs
von: Wang, Xiaoke, et al.
Veröffentlicht: (2026)

Design and Implementation of Washing Machine HUD Using FPGAs
von: Stites, Norman, et al.
Veröffentlicht: (2025)

SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
von: Tirelli, Cristian, et al.
Veröffentlicht: (2025)

Fast Generation of Custom Floating-Point Spatial Filters on FPGAs
von: Campos, Nelson, et al.
Veröffentlicht: (2024)

Small Logic-based Multipliers with Incomplete Sub-Multipliers for FPGAs
von: Böttcher, Andreas, et al.
Veröffentlicht: (2024)

RidgeWalker: Perfectly Pipelined Graph Random Walks on FPGAs
von: Tan, Hongshi, et al.
Veröffentlicht: (2026)

smallNet: Implementation of a convolutional layer in tiny FPGAs
von: Bascuñán, Fernanda Zapata, et al.
Veröffentlicht: (2025)

GreenFPGA: Evaluating FPGAs as Environmentally Sustainable Computing Solutions
von: Sudarshan, Chetan Choppali, et al.
Veröffentlicht: (2023)

Lightweight Congruence Profiling for Early Design Exploration of Heterogeneous FPGAs
von: Boston, Allen, et al.
Veröffentlicht: (2025)

DPUConfig: Optimizing ML Inference in FPGAs Using Reinforcement Learning
von: Patras, Alexandros, et al.
Veröffentlicht: (2026)

ONNX-to-Hardware Design Flow for Adaptive Neural-Network Inference on FPGAs
von: Manca, Federico, et al.
Veröffentlicht: (2024)

A Survey on LUT-based Deep Neural Networks Implemented in FPGAs
von: Guo, Zeyu
Veröffentlicht: (2025)

Coyote v2: Raising the Level of Abstraction for Data Center FPGAs
von: Ramhorst, Benjamin, et al.
Veröffentlicht: (2025)

Escaping Flatland: A Placement Flow for Enabling 3D FPGAs
von: Hao, Cong, et al.
Veröffentlicht: (2026)

TeLLMe v2: An Efficient End-to-End Ternary LLM Prefill and Decode Accelerator with Table-Lookup Matmul on Edge FPGAs
von: Qiao, Ye, et al.
Veröffentlicht: (2025)

Analyzing the Single Event Upset Vulnerability of Binarized Neural Networks on SRAM FPGAs
von: Souvatzoglou, Ioanna, et al.
Veröffentlicht: (2024)

A Resource-Driven Approach for Implementing CNNs on FPGAs Using Adaptive IPs
von: Magalhães, Philippe, et al.
Veröffentlicht: (2025)

GraphMatch: Subgraph Query Processing on FPGAs
von: Dann, Jonas, et al.
Veröffentlicht: (2024)

Critical Path Aware Timing-Driven Global Placement for Large-Scale Heterogeneous FPGAs
von: Jiang, He, et al.
Veröffentlicht: (2025)

Post-Quantum and Blockchain-Based Attestation for Trusted FPGAs in B5G Networks
von: Papalamprou, Ilias, et al.
Veröffentlicht: (2025)

A Benchmarking Platform for DDR4 Memory Performance in Data-Center-Class FPGAs
von: Galimberti, Andrea, et al.
Veröffentlicht: (2025)

GPU-Accelerated Simulated Oscillator Ising/Potts Machine Solving Combinatorial Optimization Problems
von: Gonul, Yilmaz Ege, et al.
Veröffentlicht: (2025)

Multiplier Design Addressing Area-Delay Trade-offs by using DSP and Logic resources on FPGAs
von: Böttcher, Andreas, et al.
Veröffentlicht: (2024)

Hardware-Software Co-Design for Event-Driven SNN Deployment on Low-Cost Neuromorphic FPGAs
von: Lee, Jiwoon, et al.
Veröffentlicht: (2026)

SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
von: Tirelli, Cristian, et al.
Veröffentlicht: (2024)

A Runtime-Adaptive Transformer Neural Network Accelerator on FPGAs
von: Kabir, Ehsan, et al.
Veröffentlicht: (2024)