Pith. sign in

REVIEW 1 cited by

DeepSeq: Deep Sequential Circuit Learning

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2302.13608 v2 pith:V2RDSZ3C submitted 2023-02-27 cs.LG cs.AI

classification cs.LGcs.AI
keywords learningdeepseqcircuitssequentialcircuitrepresentationdatadownstream
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Circuit representation learning is a promising research direction in the electronic design automation (EDA) field. With sufficient data for pre-training, the learned general yet effective representation can help to solve multiple downstream EDA tasks by fine-tuning it on a small set of task-related data. However, existing solutions only target combinational circuits, significantly limiting their applications. In this work, we propose DeepSeq, a novel representation learning framework for sequential netlists. Specifically, we introduce a dedicated graph neural network (GNN) with a customized propagation scheme to exploit the temporal correlations between gates in sequential circuits. To ensure effective learning, we propose to use a multi-task training objective with two sets of strongly related supervision: logic probability and transition probability at each node. A novel dual attention aggregation mechanism is introduced to facilitate learning both tasks efficiently. Experimental results on various benchmark circuits show that DeepSeq outperforms other GNN models for sequential circuit learning. We evaluate the generalization capability of DeepSeq on a downstream power estimation task. After fine-tuning, DeepSeq can accurately estimate power across various circuits under different workloads.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale

    cs.LG 2025-02 conditional novelty 6.0 of 10

    DeepGate4 scales circuit representation learning to million-gate AIGs by partitioning them into overlapping cones and processing them in level order with a GAT-based sparse transformer, achieving state-of-the-art loss...

Pith tools