HIMap-Reference-Cited by-同舟云学术

HIMap

Published:2022-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 59th ACM/IEEE Design Automation Conference
language:
Short-container-title:

Author:

Li Xing¹,Chen Lei¹,Yang Fan²,Yuan Mingxuan¹,Yan Hongli²,Wan Yupeng²

Affiliation:

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

2. Hisilicon, Chengdu, China

Publisher

ACM

Link

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

Reference21 articles.

1. Majority-inverter graph: A new paradigm for logic optimization;Amaru Luca;IEEE TCAD,2015

2. Alan Mishchenko Robert Brayton . 2006 . Scalable logic synthesis using a simple circuit structure . In Proc. IWLS , Vol. 6 . Citeseer, 15--22. Alan Mishchenko Robert Brayton. 2006. Scalable logic synthesis using a simple circuit structure. In Proc. IWLS, Vol. 6. Citeseer, 15--22.

3. RK Brayton , Jie-Hong Roland Jiang , and Stephen Jang . 2007 . SAT-based logic optimization and resynthesis . In Proc. IWLS. 358--364 . RK Brayton, Jie-Hong Roland Jiang, and Stephen Jang. 2007. SAT-based logic optimization and resynthesis. In Proc. IWLS. 358--364.

4. Robert Brayton and Alan Mishchenko . 2010 . ABC: An academic industrial-strength verification tool . In ICCAV. Springer , 24--40. Robert Brayton and Alan Mishchenko. 2010. ABC: An academic industrial-strength verification tool. In ICCAV. Springer, 24--40.

5. Reducing structural bias in technology mapping;Chatterjee Satrajit;IEEE TCAD,2006

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

1. 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

2. EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

3. AlphaSyn: Logic Synthesis Optimization with Efficient Monte Carlo Tree Search;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

4. EasyMap: Improving Technology Mapping via Exploration-Enhanced Heuristics and Adaptive Sequencing;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

5. CPP: A Multi-Level Circuit Partitioning Predictor for Hardware Verification Systems;Proceedings of the Great Lakes Symposium on VLSI 2023;2023-06-05