Logic Synthesis with Generative Deep Neural Networks

2024-06-07 · Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang

While deep learning has achieved significant success in various domains, its application to logic circuit design has been limited due to complex constraints and strict feasibility requirement. However, a recent generative deep neural model, "Circuit Transformer", has shown promise in this area by enabling equivalence-preserving circuit transformation on a small scale. In this paper, we introduce a logic synthesis rewriting operator based on the Circuit Transformer model, named "ctrw" (Circuit Transformer Rewriting), which incorporates the following techniques: (1) a two-stage training scheme for the Circuit Transformer tailored for logic synthesis, with iterative improvement of optimality through self-improvement training; (2) integration of the Circuit Transformer with state-of-the-art rewriting techniques to address scalability issues, allowing for guided DAG-aware rewriting. Experimental results on the IWLS 2023 contest benchmark demonstrate the effectiveness of our proposed rewriting methods.

📄 PDF Abstract BibTeX arXiv:2406.04699

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Attention 설명 없음

Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…

Layer Normalization Unlike batch normalization, Layer Normalization directly estimates the normalization statistics from the summed inputs…

Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.

BPE Byte Pair Encoding, or BPE, is a subword segmentation algorithm that encodes rare and unknown words as sequences of subword units. The intuition is that various word…

Label Smoothing Label Smoothing is a regularization technique that introduces noise for the labels. This accounts for the fact that datasets may have mistakes in them, so maximizing the…

Adam 설명 없음

Residual Connection 설명 없음

SimGANs: Simulator-Based Generative Adversarial Networks for ECG Synthesis to Improve Deep ECG Classification

2020-06-27 · ICML 2020 1 · Tomer Golany, Daniel Freedman, Kira Radinsky

Generating training examples for supervised tasks is a long sought after goal in AI. We study the problem of heart signal electrocardiogram (ECG) synthesis for improved heartbeat classification. ECG synthesis is challeng…

Classification ECG Classification General Classification Generative Adversarial Network+1

Radiological image synthesis using cycle-consistent generative adversarial network

2022-01-15 · Proceedings of International Conference on Recent Trends in Computing 2022 1 · Firoozeh Shomal Zadeh, Sevda Molani, Maysam Orouskhani, Marziyeh Rezaei 외

In medical imaging, image synthesis is the estimation process of one image (sequence, modality) from another image (sequence, modality). Since images with different modalities provide diverse biomarkers and capture vario…

Deep Learning Generative Adversarial Network Image Generation

A Semantically Enhanced Generative Foundation Model Improves Pathological Image Synthesis

2025-12-15 · Xianchao Guan, Zhiyuan Fan, Yifeng Wang, Fuqiang Chen 외 arxiv

The development of clinical-grade artificial intelligence in pathology is limited by the scarcity of diverse, high-quality annotated datasets. Generative models offer a potential solution but suffer from semantic instabi…

Visual Question Answering Self-Supervised Learning Cross-Modal Retrieval Nuclear Segmentation

PGcGAN: Pathological Gait-Conditioned GAN for Human Gait Synthesis

2026-03-15 · Mritula Chandrasekaran, Sanket Kachole, Jarek Francik, Dimitrios Makris arxiv

Pathological gait analysis is constrained by limited and variable clinical datasets, which restrict the modeling of diverse gait impairments. To address this challenge, we propose a Pathological Gait-conditioned Generati…

Data Augmentation Gait Recognition

Exemplar-based synthesis of geology using kernel discrepancies and generative neural networks

2018-09-20 · Shing Chan, Ahmed H. Elsheikh

We propose a framework for synthesis of geological images based on an exemplar image. We synthesize new realizations such that the discrepancy in the patch distribution between the realizations and the exemplar image is …