End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

AI-generated keywords: EDA Decision Intelligence FlowTune Multi-Armed Bandit Optimization

AI-generated Key Points

The license of the paper does not allow us to build upon its content and the key points are generated using the paper metadata rather than the full article.

  • Electronic design automation (EDA) is using decision intelligence to reduce manual efforts and improve the design closure process.
  • FlowTune is a generic end-to-end sequential decision-making framework for synthesis toolflow optimization.
  • FlowTune addresses various optimization problems related to Boolean optimization, logic synthesis, and technology mapping problems.
  • The proposed domain-specific multi-stage multi-armed bandit (MAB) approach is highly extensible and generalizable.
  • FlowTune outperforms both hand-crafted flows and ML explored flows in terms of quality of results while being orders of magnitude faster compared to ML-based approaches.
  • FlowTune is fully integrated with several industrial tools including ABC, Yosys, VTR, LSOracle, OpenFPGA.
Also access our AI generated: Comprehensive summary, Lay summary, Blog-like article; or ask questions about this paper to our AI assistant.

Authors: Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, Cunxi Yu

13 pages

Abstract: Recent years have seen increasing employment of decision intelligence in electronic design automation (EDA), which aims to reduce the manual efforts and boost the design closure process in modern toolflows. However, existing approaches either require a large number of labeled data and expensive training efforts, or are limited in practical EDA toolflow integration due to computation overhead. This paper presents a generic end-to-end sequential decision making framework FlowTune for synthesis tooflow optimization, with a novel high-performance domain-specific, multi-stage multi-armed bandit (MAB) approach. This framework addresses optimization problems on Boolean optimization problems such as a) And-Inv-Graphs (# nodes), b) Conjunction Normal Form (CNF) minimization (# clauses) for Boolean Satisfiability; logic synthesis and technology mapping problems such as c) post static timing analysis (STA) delay and area optimization for standard-cell technology mapping, and d) FPGA technology mapping for 6-in LUT architectures. Moreover, we demonstrate the high extnsibility and generalizability of the proposed domain-specific MAB approach with end-to-end FPGA design flow, evaluated at post-routing stage, with two different FPGA backend tools (OpenFPGA and VPR) and two different logic synthesis representations (AIGs and MIGs). FlowTune is fully integrated with ABC [1], Yosys [2], VTR [3], LSOracle [4], OpenFPGA [5], and industrial tools, and is released publicly. The experimental results conducted on various design stages in the flow all demonstrate that our framework outperforms both hand-crafted flows [1] and ML explored flows [6], [7] in quality of results, and is orders of magnitude faster compared to ML-based approaches.

Submitted to arXiv on 15 Feb. 2022

Ask questions about this paper to our AI assistant

You can also chat with multiple papers at once here.

The license of the paper does not allow us to build upon its content and the AI assistant only knows about the paper metadata rather than the full article.

AI assistant instructions?

Results of the summarizing process for the arXiv paper: 2202.07721v1

This paper's license doesn't allow us to build upon its content and the summarizing process is here made with the paper's metadata rather than the article.

The field of electronic design automation (EDA) has seen a growing use of decision intelligence in recent years, with the aim of reducing manual efforts and improving the design closure process. To address these challenges, this paper presents FlowTune, a generic end-to-end sequential decision-making framework for synthesis toolflow optimization that utilizes a novel high-performance domain-specific multi-stage multi-armed bandit (MAB) approach. FlowTune addresses various optimization problems related to Boolean optimization such as And-Inv-Graphs (# nodes), Conjunction Normal Form (CNF) minimization (# clauses) for Boolean Satisfiability, logic synthesis and technology mapping problems such as post static timing analysis (STA) delay and area optimization for standard-cell technology mapping, and FPGA technology mapping for 6-in LUT architectures. The proposed domain-specific MAB approach is highly extensible and generalizable, demonstrated through its evaluation at the post-routing stage with two different FPGA backend tools (OpenFPGA and VPR) and two different logic synthesis representations (AIGs and MIGs). FlowTune is fully integrated with several industrial tools including ABC [1], Yosys [2], VTR [3], LSOracle [4], OpenFPGA [5]. The experimental results conducted on various design stages demonstrate that FlowTune outperforms both hand-crafted flows [1] and ML explored flows [6], [7] in terms of quality of results while being orders of magnitude faster compared to ML-based approaches. Overall, this paper presents an innovative solution to EDA optimization challenges that can significantly reduce manual efforts while improving the design closure process.
Created on 09 Apr. 2023

Assess the quality of the AI-generated content by voting

Score: 0

Why do we need votes?

Votes are used to determine whether we need to re-run our summarizing tools. If the count reaches -10, our tools can be restarted.

The previous summary was created more than a year ago and can be re-run (if necessary) by clicking on the Run button below.

The license of this specific paper does not allow us to build upon its content and the summarizing tools will be run using the paper metadata rather than the full article. However, it still does a good job, and you can also try our tools on papers with more open licenses.

Similar papers summarized with our AI tools

Navigate through even more similar papers through a

tree representation

Look for similar papers (in beta version)

By clicking on the button above, our algorithm will scan all papers in our database to find the closest based on the contents of the full papers and not just on metadata. Please note that it only works for papers that we have generated summaries for and you can rerun it from time to time to get a more accurate result while our database grows.

Disclaimer: The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.