Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

36 results about "Enumerated type" patented technology

In computer programming, an enumerated type (also called enumeration, enum, or factor in the R programming language, and a categorical variable in statistics) is a data type consisting of a set of named values called elements, members, enumeral, or enumerators of the type. The enumerator names are usually identifiers that behave as constants in the language. An enumerated type can be seen as a degenerate tagged union of unit type.

Robust record-to-event conversion system

Systems and methods are disclosed comprising techniques for record-to-event conversion, such as retrieving at least one alphanumeric record associated with a monitored digital communication transmitted among two or more users, generating a time-enumerated data structure that stores an event entry set for the monitored digital communication, selectively identifying at least one discrete event for the monitored digital communication, generating one or more relevance scores for the at least one discrete event, identifying at least one valid discrete event from the at least one discrete event, generating an event attribute set for the at least one valid discrete event, updating the normalized event attribute set for a new event entry within the event entry set of the time-enumerated data structure, and transmitting the updated time-enumerated data structure within an elapsed duration after retrieving the at least one alphanumeric record.
Owner:CITIBANK N A

Machine Learning Based Rules Compiler for Part-Of-Speech Tagging

A computer-implemented method for a machine learning based rules compiler, the method comprising receiving machine learning generated ripple down rules, the ripple down rules comprising exception rules for tags in a tag set, the exception rules comprising tag string comparisons. The method further comprises compiling the ripple down rules into optimized computer code. Compiling the rules into computer code further comprises generating an enumeration statement for an enumeration containing the tag set, translating the exception rules for each tag in the tag set into if-else statements for a respective tag, including replacing the tag string comparisons with the enumeration; and generating a switch case statement for a current tag, the switch case statement having cases corresponding the tags in the tag set and including the if-else statements for the respective tag. The optimized computer code comprises the enumeration statement and the switch case statement.
Owner:OPEN TEXT CORP

Robust record-to-event conversion system

Systems and methods are disclosed comprising techniques for record-to-event conversion, such as retrieving at least one alphanumeric record associated with a monitored digital communication transmitted among two or more users, generating a time-enumerated data structure that stores an event entry set for the monitored digital communication, selectively identifying at least one discrete event for the monitored digital communication, generating one or more relevance scores for the at least one discrete event, identifying at least one valid discrete event from the at least one discrete event, generating an event attribute set for the at least one valid discrete event, updating the normalized event attribute set for a new event entry within the event entry set of the time-enumerated data structure, and transmitting the updated time-enumerated data structure within an elapsed duration after retrieving the at least one alphanumeric record.
Owner:CITIBANK N A

A method and system for analyzing and calculating compression parameters of an LZ77 compression algorithm

The application provides a compression parameter analysis calculation method and system of an LZ77 compression algorithm, comprising judging whether an LZ77 code of compressed data stream adopts a flag bit method or an escape code method; for the flag bit method, using obtained flag bit B, bit number D of distance code and bit number L of length code to decompress data stream S to obtain compressed data stream Q, and determining that the bit number of distance code is L; for the escape code method, analyzing distance code with distance K and extension code; in response to K>L, generating special compressible data with distance 1-4 to inject an LZ77 compressor to obtain compressed data, and calculating distance escape code and extension code with distance 1-4. The method calculates LZ77 compression parameters according to enumeration, so as to realize data decompression, solve the problem of decompression of a black box compressor, and has great innovation and practical significance in the application of data analysis.
Owner:XIAMEN MEIYA PICO INFORMATION CO LTD

An efficient learning-based index construction method and system for accelerating queries in read-only scenarios

The application discloses a high-efficiency learning index construction method and system for accelerating query in a read-only scenario. The method first assumes that a distributed simplified model construction strategy processes a data set, divides data keys into groups of k, takes the first key of each group as a representative key, trains by using a PLA algorithm, and calculates an upper limit of a segment number; then a two-dimensional dynamic programming array is defined; the PLA algorithm is used to fit from the first representative key, and if successful, initialization cost information and space size are obtained, and if failed, a distributed remapping model strategy is used; then from the initial segment number to the upper limit, the outer layer enumerates the segment number, the inner layer enumerates the segment point, the minimum space cost is calculated and updated, and the result is saved; finally, the model information is taken from the rear to the front according to the calculated segment number, and the optimal segmentation strategy is obtained by integration. The application effectively constrains the error of the read-only learning index, reduces the query time of the index, and has the advantages of small index space occupation, low index height and small prediction error.
Owner:NANJING UNIV

Large language model driven ODS layer full-process data resource evaluation modeling system, method and device, storage medium and program product

The invention relates to the technical field of database information management, discloses a big language model driven ODS layer full-process data resource evaluation modeling system, method and device, a storage medium and a program product, and is used for solving the technical problems of low modeling efficiency and poor effect in the prior art. Comprising a data input module used for capturing a table structure and table metadata of a newly-added business table corresponding to a target iteration version in real time; the modeling evaluation module is used for calling a large language model to fuse historical evaluation records and resource classification rules, evaluating data resources contained in the newly-added service table and outputting a resource classification result and a modeling evaluation conclusion; the data modeling module is used for calling a large language model to generate field description for each field contained in the newly added business table when modeling needs to be executed, and analyzing business source codes related to enumeration fields to generate field description of the enumeration fields when the fields are enumeration fields; and based on the table structure, the table metadata and the field description, generating a data resource model on the ODS layer.
Owner:SHANGHAI QIYU INFORMATION TECH CO LTD

Code automatic generation method, device, equipment, medium and program product

The present disclosure provides a code automatic generation method, which can be applied to the field of artificial intelligence or other technical fields. The method comprises: in response to a request of a target user for initiating code generation, obtaining configuration parameters input by the target user; loading a pre-configured strategy component template, and generating an enumeration class and a strategy interface according to the configuration parameters and the strategy component template; generating at least one strategy implementation class by using the strategy component template based on enumeration values of the enumeration class, wherein the strategy implementation class is used to implement the strategy interface; and integrating the enumeration class, the strategy interface and the strategy implementation class to form a strategy mode code set. The present disclosure also provides a code automatic generation device, equipment, storage medium and program product.
Owner:CHINA CONSTRUCTION BANK +1

Systems and methods for automated code generation for calculation based on associated formal specifications

Enterprise software relies on numerous types and instances of mathematical and logical calculations for proper functioning, which are formally specified in spreadsheets, known as Calculation Specification (CS) sheets, that provide illustrations of the inputs and outputs of the calculation, and are expressed in inputs and formulae applied on them to get values for outputs. The values for such inputs are retrieved by executing ad hoc queries on respective application's database. Present disclosure provides systems / methods to synthesize code using CS sheets by formulating a Programming By Example (PBE) problem for each input involved in the calculation. A query synthesis technique is then implemented that uses natural language processing and enumerative program synthesis techniques to infer queries corresponding to the PBE problem. These queries are filtered based on whether their output is consistent with expected output in PBE. Finally, the synthesized queries and calculation formulae are translated into a desired target programming language.
Owner:TATA CONSULTANCY SERVICES LTD

Data analysis method and device, electronic equipment and storage medium

The application provides a data analysis method and device, electronic equipment and storage medium; the method comprises the following steps: for each obtained string, calling a preset first enumeration class to analyze all instructions in the string; calling a preset second enumeration class to analyze all data codes in the string; performing syntax analysis on the string to determine the execution logic between each instruction and each data code; determining the data source pointed to by the data code according to the field in the data code, and determining the data structure of the data source; and enabling each instruction to call the data code according to the execution logic, loading data according to the data structure pointed to by the data code, and obtaining target data. Therefore, the target data can be loaded across data sources and data types.
Owner:BOE TECHNOLOGY GROUP CO LTD

Space- and time-efficient enumerations

Systems, computer instructions and computer-implemented methods are disclosed for implementing space- and time-efficient enumerations. An instance of an enumeration class may be created with a constant, plurality of enumerations. A plurality of objects corresponding to the respective enumerations may be stored in memory along with a lookup table indexed by respective ordinal values of the plurality of enumerations, the lookup table including respective references to the stored objects of the instantiated enumeration class. A reference to an enumeration may be stored in a memory location by storing an ordinal value of the enumeration. A determination may then be made to convert a stored ordinal value to a reference to an object, and responsive to the determination, the ordinal value may be loaded and used as an index into the lookup table to obtain the reference to the object corresponding to the enumeration.
Owner:ORACLE INT CORP

Automated least privilege assignment

Described are techniques for automated least privilege role definition. The techniques include enumerating access patterns including a subject, a verb, an object location, and an object type of respective Application Programming Interface (API) calls in source code associated with a binary program. For a first function call in the source code, the technique is configured to generate a first object type based on an API definition associated with the function call, a first verb based on an API-to-verb matching database, a first subject based on a program-to-subject mapping database and the binary program, and a first object location based on the API definition associated with the function call. The technique further includes generating a Role Based Access Control (RBAC) role definition based on the enumerated access patterns.
Owner:INTERNATIONAL BUSINESS MACHINE CORPORATION

Control method of ALD equipment based on multi-component collaborative operation

The invention relates to a multi-component collaborative operation-based control method for ALD equipment, which comprises the following steps of: splitting the equipment into a plurality of components according to functions, newly establishing a corresponding functional block for each component, and respectively adding a plurality of actions for each functional block; declaring an enumeration data type; a variable is declarated in each function block; compiling action logic of each action; and calling each function block and the action of each function block in the main program according to the action logic of the equipment. The method has the advantages that the method is reasonable in design, equipment with a complex structure is split into a plurality of components, the action of each component is decomposed, and the action of each component is called according to the action logic of the equipment, so that the program structure is clear, the calling is convenient and flexible, and the program is convenient to maintain and update.
Owner:AIHUA (WUXI) SEMICON TECH CO LTD

Data query method and system based on large model and program product

According to the data query method and system based on the large model and the program product, enumeration type and aging type parameters are accurately recognized by calling the large model through a tool, and the parameter classification accuracy is ensured; the search module retrieves the service information dictionary based on enumeration type parameters and sorts the service information dictionary to obtain a candidate dictionary item set, and the comprehensiveness and accuracy of service matching are guaranteed; the time information conversion module converts the time efficiency type parameters into time description prompt information, and the standardization problem of time fuzzy description is solved; the input parameter generation module integrates multiple types of information to construct query request input parameters, and the target database is called in combination with the request module, so that efficient conversion from original query of a user to standardized database query is realized, the accuracy and efficiency of data query are remarkably improved, and the adaptation gap between natural language requirements and database structured query is effectively bridged.
Owner:SHANGHAI HUNDSUN JUYUAN DATA SERVICE CO LTD

A method for converting from RSML -e to Luster synchronous dataflow language

The application discloses a conversion method and system from RSML ‑e model to Luster synchronous data flow language. ‑e The method converts RSML ‑e model into Luster, which involves type conversion, Boolean expression conversion, and-or table conversion, variable conversion, macro conversion and function conversion. Type conversion handles undefined values by creating enumerations and structs. Boolean expression conversion includes truth judgment, logical negation, previous state reference and equality judgment. and-or table conversion constructs sub-expressions by columns and connects them with logical or. Variable conversion is converted into Luster nodes, and ordinary variables and input variables are processed with initial values and conditions respectively. Macro and function conversion are converted into nodes with input and return values, and the contained logic is converted into Boolean expressions. The overall process realizes the mapping of RSML ‑e logic to Luster data flow, so that the safety properties of the system can be verified using model checking tools, improving system security.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS

Method, system, computer device and storage medium for intelligent questioning

PendingCN122432194AData setLinguistic model
The application provides a smart query method, system, computer device and storage medium, the method comprises the following steps: acquiring data from a data source and constructing a data set based on preset rules and conditions; selecting corresponding data fields and records from the constructed data set based on the established business scenario to create an analysis table, and constructing a business knowledge base related to the business scenario; extracting metadata of the analysis table and the business knowledge base, establishing a first independent vector index based on the extracted metadata, and establishing a second independent vector index based on the field enumeration value in the analysis table; acquiring a user-selected business scenario and a user question under the business scenario, retrieving and generating a prompt word related to the user question based on the independent vector index; based on the user question and the prompt word related to the user question, generating an executable SQL through a large language model, and acquiring a query result based on the executable SQL.
Owner:ZHEJIANG HUADONG ENG DIGITAL TECH CO LTD +1

System and method for annotation-driven business object change identification and log generation

The application discloses an annotation-driven business object change recognition and log generation system and method, and the system is based on a four-layer architecture design and comprises an annotation-driven module, a type strategy module, a reflection processing module and an ID conversion module.The annotation-driven module is configured to compare annotation-related parameters and support log output and field comparison.The type strategy module is configured to realize a strategy mode through comparison enumeration, and each data type corresponds to a comparison function interface.The reflection processing module is configured to obtain all fields of a current class and parent classes through recursive scanning, support complete field scanning of inheritance relationships, avoid repeated reflection operations through a class field cache mechanism, and the ID conversion module is configured to define a unified ID conversion specification through a functional conversion interface, provide a plurality of conversion implementation classes, and configure a conversion interface singleton cache mechanism.The scheme realizes automatic recognition of business field changes, type conversion and log generation, supports unified processing of a plurality of data types, and significantly improves development efficiency and system maintainability.
Owner:CHENGDU FANGLIAN CLOUD CODE TECH CO LTD

Code processing method and device of distributed system and electronic equipment

The invention discloses a code processing method and device of a distributed system and electronic equipment. Relates to the distributed field, and the method comprises the following steps: obtaining a code file of a system node in a distributed system, and scanning the code file to obtain an initial error code information set in the code file; performing duplicate removal operation on the initial error code information set to obtain a target error code information set; sequentially generating enumeration class data of each piece of target error code information to obtain N pieces of enumeration class data; and in the code file, modifying the initial code associated with the corresponding target error code information according to each enumeration type data to obtain an updated code file. According to the method and the device, the problem that the efficiency and the accuracy rate of processing the error codes in the distributed system are low in the related technology is solved.
Owner:INDUSTRIAL AND COMMERCIAL BANK OF CHINA

A Maximal Binocetization Method Based on Hybrid Storage

This invention discloses a maximal biclique enumeration method based on hybrid storage. It obtains a bipartite graph G(U,V,E), where U and V are two disjoint vertex sets and E is an edge set. A threshold t is set to determine the storage method of the subgraph during runtime. If the number of vertices in U is greater than t, G0 is stored using an adjacency list; otherwise, G0 is stored using a bitmap. The BicliqueFind(L,R,C,G) function is recursively called with U, V, and G0 as initial parameters. The count results of all maximal bicliques are output to the user. This invention employs a hybrid storage method, retaining the low storage overhead of adjacency list storage while combining the computational efficiency of bitmap storage. For tasks in biclique enumeration that require calculations only on small graphs, this invention significantly improves the execution speed of the biclique enumeration task by dynamically constructing sub-bitmaps.
Owner:ZHEJIANG UNIV

Engineering construction general data management method and system

The invention relates to the technical field of data management, and discloses a general data management method and system for engineering construction, and the system comprises a meta-model management module, a data dictionary management module, a code table management module, a metadata instantiation module, and a metadata service module. According to the method, based on an aggregation structure of a core metadata model, identification, quality, content, distribution, materials and equipment are forcibly included, the method is responsible for six core sub-models of a unit, and standardized description of engineering construction materials and equipment data is achieved; metadata entities and elements are defined through data dictionary specifications, and semantic ambiguity is reduced; an enumeration value domain is managed in a unified mode in combination with a standardized code table, and it is guaranteed that data are unambiguous; and dynamically adapting to new materials, new attributes and new business scene requirements based on a metadata expansion mechanism. According to the invention, the machine readability and operability of data are improved, and the flexibility and long-term applicability of data management in the full life cycle of a project are improved.
Owner:KUNMING ARRAY TECH CO LTD

A method and system for testing the robustness of an airborne real-time operating system kernel interface

PendingCN122364097ARobustificationKernel panic
This invention provides a robustness testing method and system for the kernel interface of an airborne real-time operating system. It employs a multi-dimensional equivalence class partitioning model for parameter classification, systematically enumerating six categories—legal values, boundary values, illegal values, null pointers, extreme values, and permission exceptions—based on two dimensions: data type and semantic role. This avoids the problem of overlooking exception categories in manual, experience-based design. Orthogonal lists are used for parameter combination, ensuring that any equivalence class combination between any two parameters is tested at least once. At the test execution level, four mechanisms are deployed: watchdog deadlock detection, memory sentinel out-of-bounds detection, kernel panic callback capture, and non-volatile progress marker restart detection, making result determination independent of the API return value itself. The structured test report generated by this invention includes coverage statistics, detailed abnormal test cases, and defect location information, serving as objective evidence of DO-178C robustness testing activities and meeting the airworthiness certification requirements for test sufficiency and traceability.
Owner:HEFEI LANYI AVIATION TECHNOLOGY CO LTD

Vehicle consumable data matching method and device

The invention discloses a vehicle consumable data matching method and device, and relates to the technical field of big data and automobile supply chains. A specific embodiment of the method comprises the following steps: extracting a matching field from to-be-matched vehicle model data, and carrying out numerical coding to obtain a field attribute code; determining coding types of the field attribute codes according to the number of the field attributes and the number of different numerical values in the field attribute codes, wherein the coding types comprise an enumeration type, an ordered enumeration type and a combined numerical value type; according to the field attribute code and the code type, constructing a multi-dimensional index to perform vehicle consumable data matching based on the multi-dimensional index, and when the code type is an enumeration type, constructing a bitmap index; when the coding type is an ordered enumeration type, constructing a tree structure index; and when the coding type is a combined numeric type, constructing a multi-layer tree structure index. According to the embodiment, the applicability of a data matching system is improved, the increase of system complexity and maintenance cost is avoided, and the data matching efficiency and the accuracy of a matching result are improved.
Owner:BEIJING WODONG TIANJUN INFORMATION TECH CO LTD +1

Internationalization processing method, device and equipment of user operation log and storage medium

The application relates to the technical field of operation log processing, and particularly relates to a user operation log internationalization processing method and device, equipment and a storage medium. The method comprises the following steps: determining a target language; monitoring user operation; and generating a user operation log in the target language based on preset configurations and the user operation. The preset configurations comprise: defining descriptions of user module operation corresponding to a plurality of preset languages, and defining enumeration classes corresponding to the plurality of preset languages. The target language is one of the plurality of preset languages. In this way, the "defining descriptions of user module operation corresponding to a plurality of preset languages" realizes internationalization processing of regular fields, and the "defining enumeration classes corresponding to a plurality of preset languages" realizes internationalization processing of special fields.
Owner:JIANGXI DIGITAL NETWORK INFORMATION SECURITY TECH CO LTD

Business object change identification and log generation system and method based on annotation driving

The invention discloses a business object change identification and log generation system and method based on annotation driving, and the system is designed based on a four-layer architecture, and comprises an annotation driving module which is used for configuring and comparing annotation related parameters, and supporting log output and field comparison; the type strategy module is used for realizing a strategy mode through comparison enumeration, and each data type corresponds to a comparison function type interface; the reflection processing module is used for acquiring all fields of a current class and a parent class thereof through recursive scanning and supporting complete field scanning of an inheritance relationship; and the ID conversion module is used for defining a unified ID conversion specification through a functional conversion interface, providing various conversion implementation classes and configuring a conversion interface singleton cache mechanism. According to the scheme, automatic identification, type conversion and log generation of business field change are realized, unified processing of multiple data types is supported, and the development efficiency and the system maintainability are remarkably improved.
Owner:CHENGDU FANGLIAN CLOUD CODE TECH CO LTD

Example-based autogenerated data processing rules

Some embodiments automatically generate data processing rules based on positive examples of processed data, e.g., formatting rules based on formatted data, filtering rules based on filtered data, or validating rules based on valid data. Some embodiments also use negative examples, e.g., unformatted data. A machine learning rule generation architecture includes a predicate generator, a cell cluster creator, a rule enumerator, and in some versions a rule ranker. Formatting rules written by a user are replaced by simpler autogenerated rules. Spreadsheet formatting rule functionality is enhanced, and surfaced in a user interface.
Owner:MICROSOFT TECHNOLOGY LICENSING LLC

Parameter value input method and device based on constraint rule, equipment, storage medium and product

The invention discloses a parameter value input method and device based on constraint rules, equipment, a storage medium and a product, and relates to the technical field of computers, and the method comprises the steps: determining a to-be-input parameter item in a target building information model component; at least one constraint rule corresponding to the to-be-input parameter item is obtained from a predefined parameter configuration rule table, and the constraint rule comprises one or more of a preset value rule, an enumeration value rule, a value domain range rule and an associated numerical value rule; dynamically judging the at least one constraint rule based on predefined rule type priorities and / or a dependency relationship between the rules to generate a comprehensive constraint condition; and based on the comprehensive constraint condition, correcting an input parameter value corresponding to the to-be-input parameter item to obtain a target parameter value, and writing the target parameter value into the to-be-input parameter item. According to the invention, the parameter input efficiency can be effectively improved.
Owner:广东天元建筑设计有限公司

Method, device and equipment for dynamically generating SQL (Structured Query Language) based on enumeration strategy

The embodiment of the invention provides an enumeration strategy-based SQL (Structured Query Language) dynamic generation method, device and equipment, which are applied to the technical field of software engineering and databases. The method comprises the following steps: receiving an HTTP query request from a front end, and binding a request parameter containing a service identifier and a service query parameter to a request object; calling a policy factory class according to the service identifier, and receiving a corresponding policy enumeration instance searched and returned by the policy factory class from a policy mapping pool according to the service identifier; and calling the strategy enumeration instance, introducing the request object, and generating an SQL query statement. In this way, the core pain points that SQL construction is poor in maintainability, low in expansibility and tight in business and data access logic coupling in the prior art can be solved, the accuracy and efficiency of SQL generation are remarkably improved, and comprehensive optimization of system development efficiency, maintainability and operation stability is achieved.
Owner:TRAFFIC CONTROL TECH CO LTD

Processing method, device, program product, and electronic device for system elements

PendingCN122366461AInformatizationAlgorithm
The application discloses a processing method and device of a system element, a program product and an electronic device, relates to the technical field of artificial intelligence, and the method comprises the following steps: performing semantic coding on standard words in a standard dictionary to obtain standard vectors, and constructing a standard vector knowledge base based on the standard vectors and standard word information corresponding to each standard word; performing semantic coding on original elements in an information system; inputting the original vectors obtained through coding into the standard vector knowledge base for semantic matching; performing compliance verification on the original elements based on M similar standard words obtained through matching, wherein the compliance verification comprises at least one of name semantic sub-verification, description text semantic sub-verification, enumerated value semantic sub-verification and enumerated value sequence sub-verification; in the case that the original elements are not compliant, generating a rectification scheme of the original elements based on the compliance verification result, and processing the original elements based on the rectification scheme. The application solves the technical problem of non-standard element setting in an enterprise information system.
Owner:CHINA TOWER CO LTD

Multi-version drive interface adaptation method, device and equipment based on code generation

The invention discloses a multi-version driver interface adaptation method, device and equipment based on code generation. The method comprises the following steps: S101, acquiring driver interface header files of different versions; s102, analyzing the drive interface header files of the different versions, and generating a metadata file in a JSON (JavaScript Object Notation) format; wherein the analysis content comprises a structure body field, an enumeration value definition, a constant macro and a version identifier; the metadata file is used for describing each field and difference of a version; s103, filling a predefined template file by a code generator according to the metadata file in the JSON format, and outputting a version-free database definition and a unified data access API (Application Program Interface); and S104, when the driver runs, obtaining the object information defined by the unversioned database by calling the unified data access API. According to the system and the method, the same set of driving source codes without compilation macros can be used, a plurality of driving interface versions are supported at the same time, the maintenance cost is reduced, and the expandability is improved.
Owner:YUNHE ZHIWANG (SHANGHAI) TECHNOLOGY CO LTD

Robust record-to-event conversion system

Systems and methods are disclosed comprising techniques for record-to-event conversion, such as retrieving at least one alphanumeric record associated with a monitored digital communication transmitted among two or more users, generating a time-enumerated data structure that stores an event entry set for the monitored digital communication, selectively identifying at least one discrete event for the monitored digital communication, generating one or more relevance scores for the at least one discrete event, identifying at least one valid discrete event from the at least one discrete event, generating an event attribute set for the at least one valid discrete event, updating the normalized event attribute set for a new event entry within the event entry set of the time-enumerated data structure, and transmitting the updated time-enumerated data structure within an elapsed duration after retrieving the at least one alphanumeric record.
Owner:CITIBANK N A

DRC design rule positive and negative example automatic generation method based on large language model and formalized verification

The invention discloses a DRC design rule positive and negative example automatic generation method based on a large language model and formalized verification, and relates to the field of electrical digital data processing.The method comprises the following steps that firstly, a natural language rule is accurately converted into a logic expression by combining an entity library and a function library constructed through the large language model; thirdly, disassembling the logic and executing full-coverage enumeration traversal of a Boolean algebraic space; then introducing an SMT solver to construct a target optimization problem, automatically solving coordinates to generate a test layout clinging to a rule boundary, and distributing clear positive and negative example labels; and finally, through an innovative hierarchical context management mechanism, false positive and false alarm caused by multi-rule interference are eliminated, and redundant rules are intelligently identified. According to the method, the verification coverage rate and the automation level are greatly improved, and the labor cost of chip physical verification can be remarkably reduced.
Owner:FUDAN UNIVERSITY