Litcius/Paper detail

LSTP: A Logic Synthesis Timing Predictor

Haisheng Zheng, Zhuolun He, Fangzhou Liu, Zehua Pei, Bei Yu

202410 citationsDOI

Abstract

The ever-growing complexity of modern VLSI circuits brings about a substantial increase in the design cycle. As for logic synthesis, how to efficiently obtain physical characteristics of a design for subsequent design space exploration emerges as a critical issue. In this paper, we propose ${\mathsf{LSTP}}$, an ML-based logic synthesis predictor, which can rapidly predict the post-synthesis timing of a broad range of circuit designs. Specifically, we explicitly take optimization sequences into consideration so that we can comprehend the synergy between optimization passes and their effects on netlists. Experimental results demonstrate that we outperform state-of-the-art remarkably.

Topics & Concepts

Computer scienceLogic synthesisLogic gateAlgorithmFormal Methods in VerificationEmbedded Systems Design Techniques
LSTP: A Logic Synthesis Timing Predictor | Litcius