paper-with-me

홈 › Papers

CircuitVAE: Efficient and Scalable Latent Circuit Optimization

2024-06-13 · Jialin Song, Aidan Swope, Robert Kirby, Rajarshi Roy, Saad Godil, Jonathan Raiman, Bryan Catanzaro

Automatically designing fast and space-efficient digital circuits is challenging because circuits are discrete, must exactly implement the desired logic, and are costly to simulate. We address these challenges with CircuitVAE, a search algorithm that embeds computation graphs in a continuous space and optimizes a learned surrogate of physical simulation by gradient descent. By carefully controlling overfitting of the simulation surrogate and ensuring diverse exploration, our algorithm is highly sample-efficient, yet gracefully scales to large problem instances and high sample budgets. We test CircuitVAE by designing binary adders across a large range of sizes, IO timing constraints, and sample budgets. Our method excels at designing large circuits, where other algorithms struggle: compared to reinforcement learning and genetic algorithms, CircuitVAE typically finds 64-bit adders which are smaller and faster using less than half the sample budget. We also find CircuitVAE can design state-of-the-art adders in a real-world chip, demonstrating that our method can outperform commercial tools in a realistic setting.

📄 PDF Abstract BibTeX arXiv:2406.09535

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

An Efficient Circuit Compilation Flow for Quantum Approximate Optimization Algorithm

2020-10-09 · ACM/IEEE Design Automation Conference (DAC) 2020 10 · Mahabubul Alam, Abdullah Ash- Saki, Swaroop Ghosh Authors Info & Claims

Quantum approximate optimization algorithm (QAOA) is a promising quantum-classical hybrid algorithm to solve hard combinatorial optimization problems. The two-qubits gates used in quantum circuit for QAOA are commutative…

Combinatorial Optimization

CktGen: Specification-Conditioned Analog Circuit Generation

2024-10-01 · Yuxuan Hou, Jianrong Zhang, Hua Chen, Min Zhou 외

Automatic synthesis of analog circuits presents significant challenges. Existing methods usually treat the task as optimization problems, which limits their transferability and reusability for new requirements. To addres…

Contrastive Learning

Scaling Continuous Latent Variable Models as Probabilistic Integral Circuits

2024-06-10 · Gennaro Gala, Cassio de Campos, Antonio Vergari, Erik Quaeghebeur

Probabilistic integral circuits (PICs) have been recently introduced as probabilistic models enjoying the key ingredient behind expressive generative models: continuous latent variables (LVs). PICs are symbolic computati…

Equivalent Circuit Programming for Power Flow Analysis and Optimization

2021-12-02 · Marko Jereminov, Larry Pileggi

The utility of domain-specific knowledge for modeling, simulation, and optimization has been demonstrated for various research problem domains, including power systems. The concept of Equivalent Circuit Programming was p…

Reinforcement Learning for Scalable Logic Optimization with Graph Neural Networks

2021-05-04 · Xavier Timoneda, Lukas Cavigelli

Logic optimization is an NP-hard problem commonly approached through hand-engineered heuristics. We propose to combine graph convolutional networks with reinforcement learning and a novel, scalable node embedding method …

reinforcement-learningReinforcement LearningReinforcement Learning (RL)