Batch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis-Reference-Cited by-同舟云学术

Batch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis

Published:2022-10-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
language:
Short-container-title:

Author:

Feng Chang¹^ORCID,Lyu Wenlong¹^ORCID,Chen Zhitang²^ORCID,Ye Junjie¹^ORCID,Yuan Mingxuan²^ORCID,Hao Jianye³^ORCID

Affiliation:

1. Huawei Noah's Ark Lab, Shenzhen, Guangdong, China

2. Huawei Noah's Ark Lab, Hong Kong, China

3. Huawei Noah's Ark Lab, Beijing, China and Tianjin University, Tianjin, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3508352.3549363

Reference23 articles.

1. Luca Amarù , Pierre-Emmanuel Gaillardon , and Giovanni De Micheli . 2015 . The EPFL Combinational Benchmark Suite . In Proceedings of the 24th International Workshop on Logic & Synthesis (IWLS 2015). Luca Amarù, Pierre-Emmanuel Gaillardon, and Giovanni De Micheli. 2015. The EPFL Combinational Benchmark Suite. In Proceedings of the 24th International Workshop on Logic & Synthesis (IWLS 2015).

2. Berkeley Logic Synthesis and Verification Group. [n.d.]. ABC: A System for Sequential Synthesis and Verification. http://www.eecs.berkeley.edu/~alanmi/abc/. Berkeley Logic Synthesis and Verification Group. [n.d.]. ABC: A System for Sequential Synthesis and Verification. http://www.eecs.berkeley.edu/~alanmi/abc/.

3. Antoine Grosnit , Cedric Malherbe , Rasul Tutunov , Xingchen Wan , Jun Wang , and Haitham Bou Ammar . 2022 . BOiLS: Bayesian Optimisation for Logic Synthesis. In Proceeding of the 25th Design , Automation Test in Europe Conference (DATE 2022). Antoine Grosnit, Cedric Malherbe, Rasul Tutunov, Xingchen Wan, Jun Wang, and Haitham Bou Ammar. 2022. BOiLS: Bayesian Optimisation for Logic Synthesis. In Proceeding of the 25th Design, Automation Test in Europe Conference (DATE 2022).

4. Deep Learning for Logic Optimization Algorithms

5. Soha Hassoun and Tsutomu Sasao . 2012. Logic Synthesis and Verification . Vol. 654 . Springer Science & Business Media . Soha Hassoun and Tsutomu Sasao. 2012. Logic Synthesis and Verification. Vol. 654. Springer Science & Business Media.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ReLS: Retrieval Is Efficient Knowledge Transfer For Logic Synthesis;Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD;2024-09-09

2. A General Framework for Efficient Logic Synthesis;2024 2nd International Symposium of Electronics Design Automation (ISEDA);2024-05-10

3. On Accelerating Domain-Specific MC-TS with Knowledge Retention and Efficient Parallelization for Logic Optimization;2024 2nd International Symposium of Electronics Design Automation (ISEDA);2024-05-10

4. Wideband loss separation model of nanocrystalline materials considering microscopic magnetization mechanism;AIP Advances;2024-01-01

5. EasySO: Exploration-enhanced Reinforcement Learning for Logic Synthesis Sequence Optimization and a Comprehensive RL Environment;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28