Unlock instant, AI-driven research and patent intelligence for your innovation.

Formal identification method of combinational logic unit and related equipment

A technology of combinational logic and identification methods, applied in computer-aided design, instrumentation, calculation, etc., can solve the problem of inability to balance between correctness and operating efficiency, and achieve the effect of ensuring correctness, operating efficiency and high efficiency

Active Publication Date: 2022-07-01
X TIMES DESIGN AUTOMATION CO LTD
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] However, the inventors of the present application found that the current mainstream EDA software has a contradiction between correctness and operational efficiency in the function recognition method of the combinatorial logic unit (CombinationalCell).

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Formal identification method of combinational logic unit and related equipment
  • Formal identification method of combinational logic unit and related equipment
  • Formal identification method of combinational logic unit and related equipment

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0025] In order to make the objectives, technical solutions and advantages of the present application more clearly understood, the present application will be further described in detail below with reference to specific embodiments and accompanying drawings.

[0026] It should be noted that, unless otherwise defined, the technical terms or scientific terms used in the embodiments of the present application shall have the usual meanings understood by those with ordinary skills in the field to which the present application belongs. "First", "second" and similar words used in the embodiments of the present application do not indicate any order, quantity or importance, but are only used to distinguish different components. "Comprises" or "comprising" and similar words mean that the elements or things appearing before the word encompass the elements or things recited after the word and their equivalents, but do not exclude other elements or things. Words like "connected" or "connec...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The present application provides a formal identification method and related equipment of a combinational logic unit. The method includes: receiving input data; analyzing the number of output pins in the input data; in response to determining that the number of output pins is 1, analyzing the number of input pins in the input data; If the number of input pins is not 1, symmetrical clustering is performed based on the input pins; and according to the symmetrical clustering result, a corresponding recognition algorithm is called to perform formal recognition of the combinational logic unit on the input data to obtain the recognition result.

Description

technical field [0001] The present application relates to the field of chip technology, and in particular, to a formal identification method of a combinational logic unit and related equipment. Background technique [0002] In the current mainstream digital integrated circuit design process, designers generally implement complex designs based on the Standard Cell Library (Standard Cell Library) provided by a foundry (Foundry). In fact, the standard cell library will serve as the user's input to the electronic design automation (EDA) software, and the EDA software will complete circuit synthesis (Synthesis), technology mapping (Technology Mapping) and Optimization. Therefore, it is an indispensable function of mainstream EDA software to identify the function of the logic unit provided in the standard cell library. [0003] However, the inventors of the present application found that the current mainstream EDA software's method for identifying the function of a combinatorial...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F30/327
CPCG06F30/327
Inventor 席海涛
Owner X TIMES DESIGN AUTOMATION CO LTD