Application of Formal Methods (SAT/SMT) to the Design of Constrained Codes

Sunil Sudhakaran; Clark Barrett; Mark Horowitz

doi:10.23919/date64628.2025.10992737

Back

Application of Formal Methods (SAT/SMT) to the Design of Constrained Codes

Article 2025 English

Abstract

1 min read

Constrained coding plays a crucial role in high-speed communication links by restricting bit sequences to reduce the adverse effects imposed by the characterist

Discussion(0)

No comments yet. Be the first to comment.

Related publications

Article2005

Channel-limited high-speed links: modeling, analysis and design

Mark Horowitz, Vladimir Stojanović

Article2021

Optimal Design of Joint Protomatrix for DP-LDPC Codes-Based JSCC System Over on-Body Channel

Dan Song, Lin Wang, Qiwang Chen, Guanrong Chen

IEEE Access

Article2025

Constrained Optimization With Low-Bit Gradients: A Dynamical Systems Perspective

Zhaoyue Xia, Jun Du, Chunxiao Jiang, H Vincent Vincent Poort, Yong Ren

Article2012

$\ell_{2}$ Restoration of $\ell_{\infty}$-Decoded Images Via Soft-Decision Estimation

Jiantao Zhou, Xiaolin Wu, Lei Zhang

Article2003

A 50 Gb/s 32×32 CMOS crossbar chip using asymmetric serial links

Kun-Yung Ken Chang, Shang-Tse Chuang, Nick McKeown, Mark Horowitz