Alliance tool chain logic synthesis method based on multiple logic domains

Abstract

The invention discloses an Alliance tool chain logic synthesis method based on multiple logic domains. The method comprises the following steps that an intermediate representation structure of a target circuit is obtained; mapping a Boolean expression in the intermediate representation structure into an XMG network equivalent to the logic function of the target circuit; logic optimization with the optimization logic hierarchy as the target is executed on the XMG network obtained through mapping; converting the XMG network after logic hierarchy optimization into an AIG network; logic optimization with optimization of the number of nodes as a target is executed on the AIG network obtained through conversion, and the optimized AIG network is output as an aig file; and reading the aig file, analyzing the aig file, outputting the analyzed aig file as a VHDL file, inputting the VHDL file to the Alliance tool chain, and generating a gate-level netlist corresponding to the optimized target circuit. According to the method, the logic optimization efficiency and expandability can be greatly improved, the performance bottleneck of an existing Alliance tool chain is effectively solved, and the large-scale circuit design processing capacity of the Alliance tool chain is remarkably improved.

Description

Technical Field

[0001] The present invention belongs to the field of computer technology, and particularly relates to a logic synthesis method of an Alliance tool chain based on multiple logic domains, so as to improve the performance of the Alliance tool chain in designing large-scale circuits and complex circuits. Background Art

[0002] Alliance is an open-source computer-aided design (CAD) tool suite for very large scale integration (VLSI) design, which has functions such as a VHDL compiler, a simulator, a logic synthesis tool, and automatic placement and routing. The Alliance tool chain is entirely written in C and provides a Hurricane database for storing and managing all relevant information in chip design, such as components, netlists, placement, and routing. The Alliance tool chain supports the entire process from logic design to physical design, covering a variety of file formats and conversion programs, and is one of the open-source electronic design automation (EDA) tools widely used in academia.

[0003] The vast majority of EDA tools were initially developed based on traditional Boolean logic. Therefore, early research on automatic synthesis and optimization technologies mainly focused on single logic domains. However, with the continuous improvement of the complexity of integrated circuit design, the optimization methods for single logic domains can no longer meet the requirements of modern design. For multi-application scenarios such as high performance, low power consumption, and small area, tools developed based on single logic domains often have difficulty effectively balancing the conflicts between different design goals, resulting in limited optimization effects. In recent years, with the rapid development of multi-logic domain collaborative optimization technologies, significant progress has been made in this field for open-source EDA tools. ABC combines a logic synthesis method based on AIG (And-Inverter Graphs, AIG) and has good scalability. ABC implements an optimal delay technology mapping algorithm based on a directed acyclic graph (DAG) for two types of circuits: standard cells for ASICs and look-up tables (LUTs) for FPGAs. ALSO is developed and maintained by Ningbo University and provides a series of optimization and technology mapping commands based on multiple logic domains for comprehensive optimization of FPGAs, ASICs, and emerging computing paradigms.

[0004] In terms of logic synthesis, the Alliance toolchain provides the BOOM (Boolean Optimizer, BOOM) tool, which is used to convert high-level abstract descriptions such as VHDL into gate-level circuits. BOOM uses Binary Decision Diagrams (BDDs) to represent circuit information in.vbe files..vbe and.vst are intermediate file formats unique to the Alliance toolchain, used for behavioral and structural descriptions of hardware design languages (HDLs) respectively. The Alliance toolchain has the following problems: 1) Insufficient ability to handle large-scale circuit designs: The BOOM tool provided by the Alliance toolchain relies on BDDs for logic optimization. Although BDDs are very effective in representing small circuits, when dealing with large-scale complex circuit designs, BDDs will cause significant slowdowns and memory explosion problems. This is because the size of BDDs grows exponentially with the increase in circuit complexity, thus limiting the performance of the BOOM tool, resulting in low design efficiency and difficulty in meeting the requirements of large-scale complex circuit designs; 2) Lack of multi-logic domain optimization ability: The existing Alliance toolchain is difficult to efficiently support the collaborative optimization of multiple logic domains such as area and power consumption, and cannot meet the multi-objective requirements of modern VLSI designs; 3) Insufficient scalability of the toolchain: The Alliance toolchain lacks the ability to efficiently integrate with external optimization tools, which limits its function expansion and performance improvement. Summary of the Invention

[0005] The technical problem to be solved by the present invention is, in view of the deficiencies of the prior art, to provide a multi-logic domain-based logic synthesis method for the Alliance toolchain, which can greatly improve the efficiency and scalability of logic optimization, effectively solve the performance bottleneck of the existing Alliance toolchain in large-scale and complex circuit designs, and significantly enhance the ability of the Alliance toolchain to handle large-scale circuit designs.

[0006] The technical solution adopted by the present invention to solve the above technical problems is: A multi-logic domain-based logic synthesis method for the Alliance toolchain, comprising the following steps: Step 1: Design a read_vbe method using the lorina library and integrate it into the open-source tool ALSO. By using the read_vbe method, read the vbe format file of the target circuit to be optimized, extract the topological structure information of the target circuit, and obtain the intermediate representation structure of the target circuit containing the input and output port definitions, internal signal connection relationships, and instantiation descriptions of logic gates, where the logic gates are represented by Boolean expressions; Step 2: Map the Boolean expressions in the intermediate representation structure to an XMG network that is logically equivalent to the target circuit; Step 3: Perform logic optimization on the mapped XMG network with the goal of optimizing the logic hierarchy to obtain an XMG network with an optimized logic hierarchy; Step 4: Output the XMG network with the optimized logic hierarchy into a Verilog file and convert it into an AIG network using the logic synthesis tool ABC; Step 5: Use the logic synthesis tool ABC to perform logic optimization on the converted AIG network with the goal of optimizing the number of nodes to obtain an optimized AIG network, and output the optimized AIG network into an aig file; Step 6: Design the write_vhd method using the lorina library and integrate it into the open-source tool ALSO. Read the aig file using the write_vhd method, parse it and output it as a VHDL file. Input the VHDL file to the VASY tool of the Alliance tool chain. Convert the VHDL file into a vbe file through the VASY tool, then perform technology mapping on the vbe file using the BOOG tool of the Alliance tool chain, and use the LOON tool of the Alliance tool chain for post-optimization to generate the gate-level netlist corresponding to the optimized target circuit according to its target technology library.

[0007] Preferably, the specific process of Step 2 is as follows: Based on the XMG network type in the open-source tool ALSO, parse the Boolean expressions in the intermediate representation structure level by level and construct a graph structure, identify the logic subgraphs that can be transformed into three-input majority gates, perform algebraic transformation on multiple exclusive-or chains in the logic subgraphs and transform them into shared node structures, and generate an XMG network that is logically equivalent to the target circuit.

[0008] Preferably, the specific process of Step 3 is as follows: Step 3.1: Define the globally logically optimal XMG network as the XMG network with the smallest logic hierarchy during the logic optimization process; Step 3.2: Iteratively use the XMG network logic rewriting method, XMG network logic re - substitution method, and XMG network balancing method in the open - source tool ALSO to optimize the logical level of the mapped XMG network. Among them, the XMG network logic rewriting method performs the matching and structural rewriting of logical sub - graphs through a preset XOR - MAJ local replacement rule, streamlines the number of nodes in the XMG network, and optimizes the depth of the logical level; the XMG network logic re - substitution method, based on cut analysis and Boolean function reconstruction technology, reconstructs the Boolean expressions of logic gates in the XMG network on the premise of ensuring equivalent logical functions; the XMG network balancing method makes each part of the XMG network more balanced by rearranging the connections of input signals and logic gates in the XMG network, reduces unnecessary complexity and redundancy, and thus improves the overall efficiency of the XMG network; Step 3.3: Compare the depth change of the logical level of the XMG network before and after optimization. If each round of iteration meets the convergence condition: (logical level before optimization−logical level after optimization) / logical level before optimization≥preset convergence rate r1, stop the optimization and output the globally optimal XMG network in terms of logical level. Otherwise, continue the optimization until the convergence condition is met or there is no further optimization.

[0009] Preferably, the specific process of step 5 is as follows: Step 5.1: Define the globally optimal AIG network in terms of the number of nodes as the AIG network with the smallest number of nodes during the logical optimization process; Step 5.2: Iteratively use the optimization scripts resyn2rs and recadd3 composed of four basic operators rewrite, refactor, resubstitution, and balance in the logic synthesis tool ABC to optimize the number of nodes of the converted AIG network. If each round of iteration meets the convergence condition: (number of nodes before optimization−number of nodes after optimization) / number of nodes before optimization≥preset convergence rate r2, stop the optimization, output the globally optimal AIG network in terms of the number of nodes and output it as an aig file. Otherwise, continue the optimization until the convergence condition is met or there is no further optimization.

[0010] Compared with the prior art, the present invention has the following advantages: (1) The logic synthesis method of the Alliance toolchain based on multiple logic domains proposed by the present invention is a DAG-based logic synthesis optimization method. By optimizing the XMG network and the AIG network and combining multi-logic domain optimization techniques, it overcomes the problems of memory explosion and low computational efficiency existing in the traditional method of relying on BDD for logic optimization when dealing with large-scale circuits and complex circuit designs. The method of the present invention can greatly improve the efficiency and scalability of logic optimization, effectively solve the performance bottleneck of the existing Alliance toolchain in large-scale circuit and complex circuit designs, significantly enhance the ability of the Alliance toolchain to process large-scale circuit designs, and obtain a gate-level netlist with good results. In the method of the present invention, the application of the XMG network and the AIG network reduces the time and memory consumption in the optimization process, enabling more large-scale and complex circuit designs to be efficiently processed.

[0011] (2) The method of the present invention can realize the interaction between the Alliance toolchain and the existing tools ALSO and ABC, support balancing and optimization between different targets, thereby improving the comprehensive performance of circuit design and better meeting the requirements of multi-objective optimization in modern VLSI design. By generating VHDL files, the method of the present invention can be seamlessly connected to the subsequent technology mapping, simulation, and physical design processes of the Alliance toolchain, significantly enhancing the scalability and compatibility of the Alliance toolchain.

[0012] (3) Compared with the BOOM tool provided by the Alliance toolchain itself, the logic synthesis method of the Alliance toolchain based on multiple logic domains proposed by the present invention has significant advantages in terms of logic optimization effect. Through multi-logic domain collaborative optimization, the method of the present invention significantly reduces the circuit area and delay. Experimental results show that the optimized circuit area is reduced by 15% and the delay is reduced by 20%. In addition, the experimental results also show that after completing logic optimization using the method of the present invention, when using the BOOG tool provided by the Alliance toolchain and adopting the SXLIB process library for process mapping, the circuit performance is significantly improved in terms of delay and area: delay (ps) and area (λ 2 , λ = 55nm) are reduced by 20% and 15% respectively. This result shows that the method of the present invention not only greatly improves the logic optimization effect, processing efficiency, and circuit performance, but also effectively avoids the problems caused by the long calculation time and frequent memory shortage of the BOOM tool. The proposed method of the present invention provides an efficient and flexible logic synthesis method for modern VLSI design, and has important practical significance and teaching value for improving the performance of the Alliance toolchain, an academic EDA tool, and shortening the gap between academic EDA tools and industrial EDA tools. Brief Description of the Drawings

[0013] Figure 1 It is a schematic diagram of the front - end process of the existing Alliance toolchain; Figure 2 It is a schematic diagram of the optimization process of the c17 circuit by the method of the present invention; Figure 3 It is a schematic diagram of the specific optimization process of the c17 circuit by the method of the present invention; Figure 4 It is a schematic diagram of the XMG network corresponding to the mapped c17 circuit; Figure 5 It is a schematic diagram of the AIG network corresponding to the c17 circuit after logic - level optimization processing; Figures 4 - 5 In it, 1, 2, 3, 4, 5 respectively represent the inputs of the target circuit, 0 represents the constant node required for the three - input exclusive - or logic operation (XOR) calculation, po0, po1 represent the outputs of the target circuit; the solid line with a single arrow represents the connection relationship of nodes, the dashed line with a single arrow represents logical negation, the AND node represents logical AND, and the OR node represents logical OR. Specific Embodiments

[0014] The following further describes the present invention in detail with reference to the accompanying drawings and embodiments.

[0015] Figure 1 It shows the front - end process of the existing Alliance toolchain. The traditional method relies on the BDD of the Alliance toolchain for logic optimization. However, when dealing with large - scale circuits, the memory consumption and computational complexity of the BDD data structure increase exponentially, causing a bottleneck in system performance. The BOOM tool provided by the Alliance toolchain will report an error due to insufficient memory when processing the EPFL benchmark circuit arbiter, reflecting the limitations of BDD in large - scale circuit design.

[0016] Embodiment: To overcome the problem of the insufficient ability of the Alliance toolchain to handle large - scale circuit design, the c17 circuit in the ISCAS’85 benchmark circuit is used as the target circuit to be optimized, and the logic synthesis method of the Alliance toolchain based on multiple logic domains proposed by the present invention is adopted for optimization. Figure 2 It shows the optimization process of the c17 circuit by the method of the present invention. Figure 3 It details the specific optimization process of the c17 circuit by the method of the present invention, including the following steps: Step 1: Design the read_vbe method using the lorina library and integrate it into the open-source tool ALSO. By using the read_vbe method, read the vbe format file of the target circuit to be optimized to obtain the vbe file, i.e., the c17.vbe file shown in Table 1, extract the topological structure information of the target circuit, and obtain the intermediate representation structure of the target circuit that includes input and output port definitions, internal signal connection relationships, and instantiation descriptions of logic gates. Among them, logic gates are represented by Boolean expressions. For example, the logic gate AND is converted to &, the logic gate OR is converted to |, and the logic gate NOT is converted to ~.

[0017] Table 1 c17.vbe

[0018] Step 2: Map the Boolean expressions in the intermediate representation structure to an XMG network that is logically equivalent to the target circuit. The specific process is as follows: Based on the XMG network type in the open-source tool ALSO, parse the Boolean expressions in the intermediate representation structure level by level and construct a graph structure, identify the logic subgraphs that can be converted into three-input majority gates (MAJ-3), perform algebraic transformations on multiple exclusive-or chains in the logic subgraphs and convert them into shared node structures, and generate an XMG network that is logically equivalent to the target circuit. The above mapping process relies on the node cache and common sub-expression recognition mechanism to achieve efficient reuse of Boolean functions, thereby significantly reducing the number of nodes and logical redundancy. For the c17.vbe file shown in Table 1, after being parsed by the read_vbe method of the open-source tool ALSO, the Figure 4 shown XMG network is generated.

[0019] Step 3: Perform logic optimization targeting at optimizing the logic level on the mapped XMG network to obtain the XMG network with optimized logic level. The specific process of Step 3 is as follows: Step 3.1: Define the globally logically optimal XMG network as the XMG network with the smallest logic level during the logic optimization process; Step 3.2: Iteratively use the XMG network logic rewriting method, XMG network logic re - replacement method, and the method for balancing the XMG network in the open - source tool ALSO to optimize the logical level of the mapped XMG network. Among them, the XMG network logic rewriting method performs matching and structural rewriting of logical sub - graphs through a preset XOR - MAJ local replacement rule, streamlining the number of nodes in the XMG network and optimizing the depth of the logical level; the XMG network logic re - replacement method, based on cut analysis and Boolean function reconstruction technology, reconstructs the Boolean expressions of logical gates in the XMG network while ensuring logical function equivalence; the method for balancing the XMG network makes each part of the XMG network more balanced by rearranging the connections of input signals and logical gates in the XMG network, reducing unnecessary complexity and redundancy, thereby improving the overall efficiency of the XMG network. Through the above - mentioned logical rewriting and logical re - replacement, the sharing degree of logical sub - graphs can be improved, the critical path can be further shortened, and thus the delay of the overall circuit can be reduced. Step 3.3: Compare the depth change of the logical level of the XMG network before and after optimization. If each round of iteration meets the convergence condition: (logical level before optimization−logical level after optimization) / logical level before optimization≥preset convergence rate r1, stop the optimization and output the XMG network with the globally optimal logical level. Otherwise, continue the optimization until the convergence condition is met or there is no further optimization.

[0020] Step 4: Output the XMG network with optimized logical level into a Verilog file and convert it into an AIG network using the logic synthesis tool ABC. During the conversion process, keep the topological structure of the XMG network with optimized logical level unchanged, decompose the majority gate MAJ - 3 into an equivalent AND / OR combinational logic, and at the same time map the XOR gate to a structured AIG network to ensure that the converted network has good synthesis characteristics and verifiability while maintaining logical function equivalence. As Figure 5 shown, it shows the AIG network corresponding to the c17 circuit after logical level optimization.

[0021] Step 5: Use the logic synthesis tool ABC to perform logical optimization on the converted AIG network with the goal of optimizing the number of nodes, obtain the optimized AIG network, and output the optimized AIG network into an aig file. The specific process of Step 5 is as follows: Step 5.1: Define the AIG network with the globally optimal number of nodes as the AIG network with the smallest number of nodes during the logical optimization process. Step 5.2: Iteratively use the optimization scripts resyn2rs and recadd3 composed of the four basic operators rewrite, refactor, resubstitution, and balance in the logic synthesis tool ABC to optimize the number of nodes of the converted AIG network to further reduce the number of nodes. If the convergence condition is met in each round of iteration: (the number of nodes before optimization - the number of nodes after optimization) / the number of nodes before optimization ≥ the preset convergence rate r2, stop the optimization, output the AIG network with the optimal global number of nodes, and output it as an aig file. Otherwise, continue the optimization until the convergence condition is met or there is no further optimization.

[0022] Step 6: Use the lorina library to design the write_vhd method and integrate it into the open-source tool ALSO. By using the write_vhd method to read the aig file, parse it, and output it as a VHDL file, that is, the c17.vhd file shown in Table 2. Input the VHDL file to the VASY tool of the Alliance tool chain. Through the VASY tool, convert the VHDL file into a vbe file, then perform technology mapping on the vbe file through the BOOG tool of the Alliance tool chain, and then use the LOON tool of the Alliance tool chain for post-optimization to generate the gate-level netlist corresponding to the optimized target circuit according to its target technology library.

[0023] Table 2 c17.vhd

[0024] Through the above steps, the method of the present invention replaces the traditional BOOM tool. Through the optimized XMG network and AIG network, the present invention significantly improves the efficiency and performance of circuit design. Compared with the existing Alliance tool chain, the method of the present invention can effectively solve the performance bottleneck in the design of large-scale circuits and complex circuits, and provide a more flexible and scalable optimization process.

[0025] The comparison of the optimization effects of the logic synthesis method based on multi-logic domains of the Alliance tool chain proposed by the present invention and the traditional method relying on the BDD of the Alliance tool chain for the EPFL benchmark circuit is shown in Table 3. The circuit performance achieved by the method of the present invention is reduced by 20% and 15% respectively in terms of delay (ps) and area (λ 2 , λ = 55nm), and the calculation of the improvement effect does not include the circuits of arbiter and voter that the Alliance cannot handle.

[0026] Table 3

[0027] It can be seen that the method of the present invention can achieve the interaction between the Alliance tool chain and the existing tools ALSO and ABC. By optimizing the XMG network and the AIG network and combining the multi-logic domain optimization technology, not only the logic optimization effect, processing efficiency and circuit performance are greatly improved, but also the problems caused by the long calculation time and frequent memory shortage of the BOOM tool are effectively avoided. The method of the present invention provides a new and efficient solution for the Alliance tool chain to design large-scale circuits and complex circuits. The proposed method of the present invention will provide an important reference for future circuit design and optimization.

Claims

1. A logic synthesis method for Alliance tool chain based on multiple logical domains, characterized in that It includes the following steps: Step 1: Design the read_vbe method using the lorina library and integrate it into the open-source tool ALSO. By using the read_vbe method to read the vbe format file of the target circuit to be optimized, extract the topological structure information of the target circuit, and obtain the intermediate representation structure of the target circuit including the input and output port definitions, internal signal connection relationships, and instantiation descriptions of logic gates, where the logic gates are represented by Boolean expressions; Step 2: Map the Boolean expressions in the intermediate representation structure to an XMG network equivalent to the logical function of the target circuit; Step 3: Perform logic optimization targeting the optimization of the logical level on the mapped XMG network to obtain the XMG network with optimized logical level; Step 4: Output the XMG network with optimized logical level into a Verilog file and convert it into an AIG network using the logic synthesis tool ABC; Step 5: Use the logic synthesis tool ABC to perform logic optimization targeting the optimization of the number of nodes on the converted AIG network to obtain the optimized AIG network, and output the optimized AIG network into an aig file; Step 6: Design the write_vhd method using the lorina library and integrate it into the open-source tool ALSO. By using the write_vhd method to read the aig file, parse and output it into a VHDL file, input the VHDL file to the VASY tool of the Alliance tool chain, convert the VHDL file into a vbe file through the VASY tool, then perform technology mapping on the vbe file using the BOOG tool of the Alliance tool chain, and perform post-optimization using the LOON tool of the Alliance tool chain to generate the gate-level netlist corresponding to the optimized target circuit according to its target technology library.

2. The method for logic synthesis of the Alliance tool chain based on multiple logical domains according to claim 1, wherein The specific process of Step 2 is as follows: Based on the XMG network type in the open-source tool ALSO, parse the Boolean expressions in the intermediate representation structure level by level and construct a graph structure, identify the logical subgraphs that can be transformed into three-input majority gates, perform algebraic transformation on multiple exclusive-or chains in the logical subgraphs and transform them into a shared node structure, and generate an XMG network equivalent to the logical function of the target circuit.

3. The method for logic synthesis of the Alliance tool chain based on multiple logic domains according to claim 2, wherein The specific process of Step 3 is as follows: Step 3.1: Define the globally logically optimal XMG network as the XMG network with the smallest logical level in the logic optimization process; Step 3.2: Iteratively use the XMG network logic rewriting method, XMG network logic re-replacement method, and the method for balancing the XMG network in the open-source tool ALSO to optimize the logical level of the mapped XMG network. Among them, the XMG network logic rewriting method performs matching and structural rewriting of logical subgraphs through a preset XOR-MAJ local replacement rule, streamlining the number of nodes in the XMG network and optimizing the depth of the logical level; the XMG network logic re-replacement method is based on cut analysis and Boolean function reconstruction technology to reconstruct the Boolean expressions of logic gates in the XMG network while ensuring logical function equivalence; the method for balancing the XMG network makes each part of the XMG network more balanced by rearranging the connections of input signals and logic gates in the XMG network, reducing unnecessary complexity and redundancy, thereby improving the overall efficiency of the XMG network. Step 3.3: Compare the depth change of the logical level of the XMG network before and after optimization. If each round of iteration meets the convergence condition: (logical level before optimization - logical level after optimization) / logical level before optimization ≥ the preset convergence rate r1, stop the optimization and output the globally optimal XMG network in terms of logical level. Otherwise, continue the optimization until the convergence condition is met or there is no further optimization.

4. The method for logic synthesis of the Alliance tool chain based on multiple logical domains according to claim 2, characterized in that, The specific process of Step 5 is as follows: Step 5.1: Define the globally optimal AIG network in terms of the number of nodes as the AIG network with the smallest number of nodes during the logical optimization process. Step 5.2: Iteratively use the optimization scripts resyn2rs and recadd3 composed of four basic operators rewrite, refactor, resubstitution, and balance in the logic synthesis tool ABC to optimize the number of nodes of the converted AIG network. If each round of iteration meets the convergence condition: (number of nodes before optimization - number of nodes after optimization) / number of nodes before optimization ≥ the preset convergence rate r2, stop the optimization, output the globally optimal AIG network in terms of the number of nodes and output it as an aig file. Otherwise, continue the optimization until the convergence condition is met or there is no further optimization.

Images