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

50 results about "Technical specifications" patented technology

Automatic annotations and technical specification generation for robotic process automation workflows using artificial intelligence (AI)

Automatic annotations and technical specification generation for robotic process automation (RPA) workflows using artificial intelligence (AI) is disclosed. AI / ML models may enable smart searching of workflows and automatically generate documentation for the workflows, including descriptions of each activity, input / output parameters, and overall process explanations. Annotations and documentation may be provided for an entire complex business automation that is the sum of multiple workflows and applications. A Process Definition Document (PDD) for the business process may be generated from the RPA workflow code itself when it does not exist. Other documents, such as audit documents, compliance documents required by laws or regulations, etc. may be produced. The process may be iterative, where a generative AI model automatically converts text to RPA workflow code, a runtime automation is produced from this RPA workflow, and the other documentation is generated as well.
Owner:UIPATH INC

Systems and Methods for a Context-Aware Retrieval System for FPGA Design Implementation and Closure Processes

Systems or methods of the present disclosure may provide a design tool for adjusting designs implemented on programmable logic devices. The present disclosure includes receiving documentation and receiving a full text search. The documentation may include user guides, technical specifications, and design files such as HDL code, constraints, timing reports, and / or design assistant / rule violation (DRC) reports. The present disclosure also includes determining semantic search for embedding vectors based on the documentation and the full text search. Furthermore, the present disclosure includes providing the semantic search to a large language model (LLM).
Owner:KOTIYAL SAURABH +2

Cross-heterogeneous platform law supervision system based on XML and semantic matching

The invention discloses a cross-heterogeneous platform law supervision system based on XML and semantic matching. The cross-heterogeneous platform law supervision system comprises a data standardization module and a cross-heterogeneous platform execution system. The cross-heterogeneous platform execution system comprises a heterogeneous platform data import module, an XML file verification module and a supervision function execution module; the data standardization module is used for realizing standardization of cross-platform legal supervision data on the basis of intermediate description language technical specifications; the heterogeneous platform data import module comprises two independent heterogeneous platform data import platforms and is used for realizing data import and converting heterogeneous data of different platforms into a unified XML (Extensible Markup Language) file; the XML file verification module is used for carrying out mutual matching of an XML file and an XSD file based on an XSD specification file given by an XML specification and the XML format file so as to realize XML file verification; and the supervision function execution module is used for executing a legal supervision function corresponding to the XML file after the XML file passes verification.
Owner:XI AN JIAOTONG UNIV

Hardware-in-the-loop automatic test method and system

The invention discloses a hardware-in-the-loop automatic test method and system, and the method comprises the steps: receiving a technical specification document and a historical failure case library of a tested device, analyzing a technical specification through a natural language processing model to extract key test parameters, carrying out the correlation analysis of the key test parameters and a fault mode in the historical failure case library, and obtaining a fault mode of the tested device; generating a structured test demand table, wherein the structured test demand table comprises test target priorities, constraint conditions and boundary value definitions; based on the structured test demand table and equipment working condition data acquired in real time, generating a plurality of test cases covering boundary conditions and extreme working conditions by using a genetic algorithm; the test cases covering the boundary conditions and the extreme working conditions are screened out from the multiple test cases to obtain a test case sequence, and each case in the test case sequence comprises a fault injection parameter, an expected response threshold value and an execution priority label. According to the method and system, the test coverage rate and efficiency are improved, and manual intervention is reduced.
Owner:SHANGHAI VEHINFO TECH CO LTD

Intelligent evaluation method and device for multi-modal test data

The invention discloses an intelligent evaluation method and device for multi-modal test data. The method comprises the following steps: acquiring a multi-modal test data set in an equipment performance test process; the multi-modal test data set comprises a multi-source data subset of each technical index measured in an equipment performance test process; preprocessing the multi-modal test data set to obtain a preprocessed data set; performing fusion evaluation on the multi-source data subset of each technical index in the preprocessed data set to obtain an evaluation value of each technical index; and performing comprehensive performance evaluation processing on the evaluation values of all the technical indexes to obtain a test evaluation value of the equipment performance. According to the intelligent evaluation method, weight distribution can be flexibly adjusted according to the characteristics of different technical indexes, so that the accuracy and reliability of an evaluation result are remarkably improved, and powerful support is provided for comprehensive evaluation of equipment performance.
Owner:SYST OVERALL RES INST INST OF SYST ENG ACAD OF MILITARY SCI

Method for automatically generating proposal for development for in vitro diagnostic kit, and server therefor

A method for automatically generating a research and development proposal for an in vitro diagnostic kit, performed by a server for automatically generating the research and development proposal, includes: acquiring an initial proposal including intended use information for the kit; providing the acquired initial proposal to a pre-trained language model; acquiring a specification (spec) for the kit from the language model receiving the initial proposal, wherein the acquired specification for the kit includes at least one of a technical specification to be used for the research and development of the kit, a resource specification for the research and development, a design specification for the kit, a regulatory approval specification that is needed to meet for approval, and a performance specification for the kit; and controlling to generate the research and development proposal for the kit including the acquired specification and the intended use information for the kit.
Owner:SEEGENE INC

Automatic annotation and technical specification generation for robotic process automation workflow using artificial intelligence (AI)

To provide automatic annotation and technical specification generation for a robotic process automation (RPA) workflow using artificial intelligence (AI).SOLUTION: In a hyper-automation system, AI / ML models enable smart searching of RPA workflows and automatically generate documentation for workflows including descriptions of respective activities, input / output parameters, and overall process explanations. A Process Definition Document (PDD) for a business process is generated from the RPA workflow code itself when it does not exist. Other documents such as audit documents and compliance documents required by laws or regulations are also produced. This process is iterative, where a generative AI model automatically converts text to RPA workflow code, a runtime automation is produced from this RPA workflow, and the other documentation is generated as well.SELECTED DRAWING: Figure 12
Owner:UIPATH INC

Technical specification text generation method and system based on multi-source heterogeneous data

The invention provides a technical specification text generation method and system based on multi-source heterogeneous data, and the method comprises the following steps: 1, collecting the multi-source heterogeneous data, and carrying out the preprocessing; 2, tools are constructed according to the data types, and a tool set is formed; 3, in a short thinking stage, performing quick matching generation, namely processing the preprocessed data by using a tool in a tool set to obtain a first draft of the technical specification text, verifying the first draft by using a large language model, taking the first draft as a final draft of the technical specification text if the verification is passed, otherwise, executing the step 4, and entering a long thinking stage; and 4, in a long thinking stage, performing further reasoning and analysis by combining the large language model with the tool set, and generating a final draft of the technical specification text.
Owner:JIANGSU ELECTRIC POWER CO PURCHASING & DISTRIBUTION CENT +1

Automatic annotation and technical specification generation for robotic process automation workflows using artificial intelligence (AI)

Automatic annotation and technical specification generation for robotic process automation (RPA) workflows using artificial intelligence (AI) is disclosed. The AI / ML model may enable an intelligent search of the workflow and automatically generate documents of the workflow, including descriptions of each activity, input / output parameters, and overall process interpretations. Annotations and documents may be automatically provided for the entire complex business as a sum of multiple workflows and applications. A process-defined document (PDD) where a traffic flow can be generated from the RPA workflow code itself when the RPA workflow code itself is not present. Other files, such as audit files, compliance files of legal or regulatory requirements, and the like, may be generated. The process may be iterative in which the generative AI model automatically converts text to RPA workflow code, produces runtime automation from the RPA workflow, and also generates other documents.
Owner:UIPATH INC

Generation method and generation system of purchase technical specification book

The invention discloses a method for generating a purchase technical specification book, which comprises the following steps of: acquiring a data set, classifying the data set, and giving corresponding keywords according to the content of the data set; selecting corresponding data from the data set according to a user demand, and generating an initial text according to a sequence; and verifying the initial text to finally obtain the technical specification template. By means of preset rules and algorithms, the technical specifications are automatically analyzed, problems can be quickly positioned and processed, the auditing time is greatly shortened, and the overall auditing efficiency is improved; an intelligent auditing technology is applied, a more accurate data field constraint is set, a data entry range is limited, deep logic verification is carried out, and data accuracy and normalization are ensured; according to existing standards and historical data, a specification book framework and content are automatically generated, reference is provided for compilation personnel, compiling formats are standardized, words and expressions are unified, and specialty and consistency of a specification book are improved.
Owner:STATE GRID JIANGSU ELECTRIC POWER CO ZHENJIANG POWER SUPPLY CO

Multi-agent collaborative supply chain bill system automatic development method and device

The invention provides a multi-agent collaborative supply chain bill system automatic development method and device, and the method comprises the steps: receiving a user demand document related to a to-be-developed supply chain bill system, and obtaining an enterprise specification document used for constraining development technical specifications; initializing a workflow arrangement module and a state data structure for automatically developing the supply chain bill system; wherein the workflow arrangement module comprises a directed graph, an intelligent agent is used as a node, and a circulation rule is used as an edge; and the intelligent agent processing module is used for enabling the intelligent agents to work serially and / or concurrently according to an execution path determined by the workflow arrangement module by taking the enterprise specification document as a constraint, analyzing the user demand document to obtain a design document, planning a development task according to the design document, generating review opinions by reviewing the planned development task, and sending the review opinions to the intelligent agents according to the review opinions. And generating a code file based on the design document, the development task and the review opinion, and compiling the code file to obtain an executable file related to the supply chain bill system.
Owner:CLOUDCHAIN GRP CO LTD

Automatic annotations and technical specification generation for robotic process automation workflows using artificial intelligence (AI)

Automatic annotations and technical specification generation for robotic process automation (RPA) workflows using artificial intelligence (AI) is disclosed. AI / ML models may enable smart searching of workflows and automatically generate documentation for the workflows, including descriptions of each activity, input / output parameters, and overall process explanations. Annotations and documentation may be provided for an entire complex business automation that is the sum of multiple workflows and applications. A Process Definition Document (PDD) for the business process may be generated from the RPA workflow code itself when it does not exist. Other documents, such as audit documents, compliance documents required by laws or regulations, etc. may be produced. The process may be iterative, where a generative AI model automatically converts text to RPA workflow code, a runtime automation is produced from this RPA workflow, and the other documentation is generated as well.
Owner:UIPATH INC

A method, device and equipment for generating technical requirements of intelligent meters and a storage medium

ActiveCN117311668BRealize real-time linkageImprove efficiencySystem engineerTechnical specifications
The application discloses a kind of generation methods, device and equipment of intelligent instrument technical demand and storage medium, comprising: according to the existing technical specification document of intelligent instrument generation online shared modular database;Receive the architecture creation instruction input by architecture engineer, and generate display setting demand according to architecture creation instruction and modular database;When receiving the technical demand creation instruction of total demand party, generate initial intelligent instrument technical demand according to display setting demand;When receiving the function supplement instruction of system engineer party, modify initial intelligent instrument technical demand according to function supplement instruction to generate formal intelligent instrument technical demand.Through the existing technical specification document generation shared modular database, generate formal intelligent instrument technical demand according to the instruction of architecture engineer, total demand party and system engineer.Can adjust intelligent instrument technical demand according to real-time demand, improve the efficiency of intelligent instrument technical demand generation.
Owner:CHINA FAW CO LTD

Conversion from device documentation to technical specifications

Apparatuses, systems, and methods for one or more models (e.g., generative Artificial Intelligence (AI) and / or large language model(s)) to determine technical specifications based on input documentation of a device under test (DUT). The model(s) may divide the documentation into portions, iteratively identify technical specifications in the portions, format the specifications, and / or identify duplicative or related specifications for removal or consolidation.
Owner:NATIONAL INSTRUMENTS CORP

A method for dynamically configuring object attributes for digital media multi-platforms

The application relates to the technical field of digital media processing, in particular to a kind of object attribute dynamic configuration method for digital media multi-platform.The scheme aims at the configuration problem caused by the difference of technical specifications when digital media is displayed on different platforms, generates platform feature vector containing composite features by real-time collection and analysis of each platform technical specification;Nonlinear conversion model of object basic attribute to platform specific attribute is established by using multilayer perception;Subscription-published architecture containing subscription management, message publishing and message distribution module is constructed, so that digital media object can subscribe to platform strategy change notification;When receiving the notification, trigger configuration recalculation, apply new attribute to object and update configuration information.The application can dynamically adapt to platform specification changes, improve digital media content management efficiency and display effect, has the advantages of strong universality, high configuration accuracy, etc., effectively meets the multi-platform digital media transmission demand.
Owner:COMMUNICATION UNIVERSITY OF CHINA

Artificial intelligence-based software refactoring method, device, equipment and storage medium

This invention provides an artificial intelligence-based software refactoring method. The method includes: acquiring the current code data and user data of the software to be refactored; determining a target refactoring strategy based on the current code data and user data; generating refactoring code data corresponding to the target refactoring strategy based on a large language model; and refactoring the software based on the refactoring code data to obtain the target software. This invention analyzes code data and user data, considering both the code problems of the software to be refactored and user business expectations, to generate a target refactoring strategy that balances technical optimization and business needs. This avoids the problem of the separation between technical optimization and business goals in traditional methods, ensuring that the refactored code accurately matches the user's actual business scenario while optimizing technical indicators, reducing the cost of secondary modifications due to misunderstandings of requirements, and thus improving the accuracy and efficiency of software refactoring.
Owner:SHENZHEN FENZHUAN TECH CO LTD

Archive retrieval method and system based on cloud computing

The invention discloses an archive retrieval method and system based on cloud computing, and the method comprises the steps: obtaining the original data of a drawing document and a technical document through a data collection module of a cloud computing platform, and carrying out the multi-source heterogeneous data fusion, the original data including a CAD drawing, an engineering drawing, a technical specification, a design specification and a product manual.
Owner:TAIYUAN YUNCHUANG HUMAN RESOURCES SERVICE CO LTD

An artificial intelligence-based software design scheme automatic evaluation method and system

The application relates to an artificial intelligence-based software design scheme automatic evaluation method and system, which automatically extracts function entities and architecture topologies in a design document through a multi-modal analysis technology to generate a structured design scheme atlas; performs standardized compliance checking based on an enterprise architecture benchmark library to identify technical specification deviation and component reuse defects; fuses a defect prediction model and a risk quantification mechanism to analyze component coupling degree and historical defect data to generate a risk atlas; combines constraint rules and a similar case library to deduce an executable architecture optimization path; finally, constructs a closed-loop decision chain of technical compliance, risk control and asset reuse to generate a quantitative evaluation report. The application solves the problems of traditional evaluation methods, such as dependence on manual work, low efficiency, non-uniform standards and decision disconnection, realizes full-process automatic evaluation from design analysis to improvement guidance, significantly improves evaluation efficiency and decision accuracy, and guides software architecture optimization decision.
Owner:BEIJING ZHIJIE YIYUN INFORMATION TECHNOLOGY CO LTD

Engineering drawing auditing method and system based on graphics and text information and large language model

The invention relates to the field of drawing auditing, and provides an engineering drawing auditing method and system based on graphic and text information and a large language model in order to improve the engineering drawing auditing efficiency and accuracy, the core of the method is that graphic and text multi-modal data of an engineering drawing to be audited is split into drawing data and text data; for each independent design in the to-be-audited engineering drawing, combining the sorted multi-dimensional views in sequence by using a preset sliding window to obtain a plurality of combined views, and determining key features of each combined view; obtaining a technical description corresponding to the independent design from the text data, filling the technical description into a preset cue word template to obtain a first text corresponding to the independent design, and inputting the first text into a preset large language model for expansion to obtain a second text; according to the second text, judging whether the key features in the combined view are designed to reach the standard or not, and determining whether the corresponding independent design and the engineering drawing are designed to reach the standard or not.
Owner:CHINA HYDROELECTRIC ENGINEERING CONSULTING GROUP CHENGDU RESEARCH HYDROELECTRIC INVESTIGATION DESIGN AND INSTITUTE

Method, system and device for automated deployment of applications based on standardized data assets

This application belongs to the field of data processing technology, specifically relating to a method, system, and device for automated application deployment based on standardized data assets, aiming to address the problem of insufficient intelligence in the transformation from data to applications. The method includes: matching at least one target dynamically enhanced data asset based on the business semantics contained in the received application deployment request; parsing the deployment specifications contained in the target dynamically enhanced data asset to determine the target technical specifications; generating a complete set of configuration files and / or source code required for deploying the target application based on the target technical specifications; and calling the application programming interface to execute the complete set of configuration files and / or source code to deploy the target application. This application, by constructing dynamically enhanced data assets, achieves automated and intelligent transformation from data assets to applications, significantly improving deployment efficiency, reliability, and agility, and substantially reducing the technical threshold.
Owner:BEIJING RONGZHI TECH CO LTD

Structural arrangement design method and device for reinforced concrete building

The invention relates to a structural arrangement design method and device for a reinforced concrete building, and the method comprises the steps: carrying out the standardization processing of a technical specification file related to the reinforced concrete building, and obtaining the processed data; performing knowledge extraction on the processed data to form data after knowledge extraction so as to determine entities in the structural arrangement rule file, relationships among the entities, time and rules; forming a structural arrangement knowledge graph of the reinforced concrete building according to the data after knowledge extraction; reading a building drawing of the reinforced concrete building, and determining building information; and according to the building information, calling the structure arrangement knowledge graph of the reinforced concrete building, and executing simulation arrangement of the main beam, the secondary main beam, the secondary beam, the cantilever beam and the sealing beam according to a preset sequence. According to the scheme, by reading the building information and calling the corresponding knowledge graph, the structure of the reinforced concrete building can be automatically arranged, repeated and mechanical labor of structure engineers is effectively reduced, and time is saved.
Owner:GUANGDONG ZHONGTU TECH CO LTD

Soft authentication method for network simulation system

The invention discloses a soft authentication method for a network simulation system. The method comprises the following steps: firstly, according to a technical authentication specification document, carrying out test environment configuration and parameter input configuration on a to-be-tested network simulation system in a soft authentication system; next, the input of the soft authentication system is subjected to adaptive conversion through an input adaptive module of the network simulation system to be tested; then the to-be-tested network simulation system operates simulation and sends a simulation result to an output adaptation module of the to-be-tested network simulation system; the to-be-tested network simulation system output adaptation module carries out adaptation conversion on the simulation result of the to-be-tested network simulation system; and finally, the soft authentication system evaluates the test result according to the expected output in the technical authentication specification document. And if all the test items are completed and all the tests are passed, the authentication test of the network product to be tested is passed. According to the invention, whether the network simulation system accords with the technical specification can be tested.
Owner:NORTHWESTERN POLYTECHNICAL UNIV

Automatic interpretation method for security technical specification articles

PendingCN120354842ASemantic analysisStructural representationLinguistic model
The invention relates to an automatic interpretation method for security technology specification provisions, which comprises the following steps of: decomposing the specification provisions into single-constraint pair provisions by utilizing a large language model according to a syntactic structure of the specification provisions on the basis of a few-sample thinking chain prompt, and then performing information extraction on the specification provisions on the basis of a prompt project to form a provision dependency graph as an intermediate representation structure; and finally, automatically converting the clause dependency graph structure into a clause parse tree through a clause parse tree generation algorithm, and the automatic interpretation method comprises the following steps: S1, obtaining standard clauses, and hierarchically decomposing the standard clauses based on few-sample thinking chain prompts; s2, performing information extraction on the standard provisions based on the prompt project; s3, generating a clause analysis tree; according to syntactic characteristics of the security technical specification terms, automatic interpretation of the security technical specification is realized by using the large language model, the term parsing tree is generated as a structured representation form of the security technical specification terms, and accurate conversion and efficient application of the security technical specification terms are promoted.
Owner:CHINA CONSTR EIGHT ENG DIV CORP LTD

Systems and Methods for a Recursive Document Splitting and Chunking System for FPGA Documentation and Tool Reports

Systems or methods of the present disclosure may provide a design tool for adjusting designs implemented on programmable logic devices. The present disclosure includes receiving one or more data tables and receiving one or more design files. The one or more data tables may include technical specifications, user guides, and / or best practices. The one or more design files may include design inputs and design outputs such as timing reports, design assistant / rule violation (DRC) reports, and / or log files. The present disclosure also includes determining one or more chunks based on the one or more data tables, generating one or more embeddings based on the one or more chunks, extracting data from the one or more design files, while considering contextual information, natural break points, and cross-referencing. Furthermore, the present disclosure includes providing the one or more embeddings and the data to a large language model (LLM).
Owner:KOTIYAL SAURABH +2

Automated public certification of specifications and software

Systems and methods to publicly certify a specification and its corresponding software for a software project. A publicly certified specification and its software can consist of a verified software that comes with an interpretation of the formal specification written in some accessible language, in such a way that at least an individual with mathematical training can check that the translation from the formal specification to a human language is, up to some extent, correct. The systems and method provided herein generate and revise a technical specification, a formal specification, algorithmic code and formally verified code for compilation and execution as a formally verified program.
Owner:FORMAL VINDICATIONS SL

Method, system and equipment for intelligently generating interface program and medium

The invention discloses a method, a system, equipment and a medium for intelligently generating an interface program, and relates to the technical field of automatic interface generation, which comprises the following steps of: analyzing an interface technical specification document through a semantic analysis technology, extracting key parameters of a service interface message logic model and a data interaction mode, and generating an interface program based on the service interface message logic model; and constructing a producer interface physical model, establishing a mapping relationship, supplementing technical fields based on the business interface message logic model, constructing a consumer interface physical model, generating a producer interface program, and generating a consumer interface program according to the consumer interface physical model and key parameters of the data interaction mode. According to the method, end-to-end intelligent generation from the document to the interface is realized, the problems that traditional interface development depends on artificial experience, the adaptability is poor and the maintenance cost is high are effectively solved, the integration cost is remarkably saved in power system informatization construction, and meanwhile, cross-domain protocol extension is supported.
Owner:GUIZHOU POWER GRID CO LTD

10kv transformer substation design scheme generation method based on large language model fine tuning

The invention provides a 10KV transformer substation design scheme generation method based on large language model fine tuning. The method comprises the following steps: constructing a 10KV transformer substation design related fine tuning data set; obtaining a basic large language model, and performing term understanding evaluation on the basic large language model; based on the basic large language model, utilizing the data set, and adopting a LoRA fine tuning method to perform fine tuning and evaluation on the basic large language model; and introducing a design logic reasoning strategy based on an attention mechanism into the fine-tuned large language model to enable the model to understand design condition input, and outputting a semantic design scheme by applying a design rule to generate a 10kv transformer substation design scheme. According to the method, intelligent generation of the 10kv transformer substation design scheme is realized through the field self-adaptive fine-tuning large language model, the design efficiency and quality are remarkably improved, and meanwhile, the design scheme is ensured to meet technical specifications and safety requirements.
Owner:STATE GRID SHANGHAI MUNICIPAL ELECTRIC POWER CO

Multi-modal comparison method for engineering construction standards based on multi-level semantics and index quantization

This invention belongs to the interdisciplinary field of natural language processing and building engineering informatics, and particularly relates to a multimodal comparison method for engineering construction standards based on multi-level semantics and index quantification, comprising: S1, acquiring the engineering construction standard documents to be compared, and parsing them to obtain corresponding topological tree structure data; S2, obtaining the basic semantic similarity S based on the topological tree structure data of S1. base S3. Parse the structured key-value pairs in S1 to separate the indicator names, corresponding values, and dimensions, forming a set of key technical indicators; calculate the common indicator deviation D. shared and the one-sided indicator missing rate P miss S4, S based on S2 base S3's P miss With D shared The overall consistency score S is calculated using a nonlinear comprehensive evaluation model. final S5, the overall consistency score based on S4 final This invention generates a structured comparison report. It enables precise, cross-language, cross-system, multi-dimensional, and fully automated comparison and quantitative evaluation of engineering construction standards.
Owner:CHONGQING UNIV

Analysis and quotation method, system and equipment based on transformer and medium

The invention discloses an analysis and quotation method and system based on a transformer, equipment and a medium, and the method comprises the steps: obtaining a bid invitation file of the transformer, carrying out the preprocessing of the bid invitation file, and carrying out the analysis according to the preprocessed bid invitation file and a preset parameter library, so as to determine a corresponding technical parameter; determining a project list according to the bid invitation file, and searching and matching corresponding technical specifications according to the project list; and performing data processing on the technical parameters according to the technical specifications to determine a material model and a quota, and generating a price list according to the material model and the quota. According to the method, the technical parameters are accurately determined by preprocessing and analyzing the bid invitation file through the parameter library; and in combination with technical specification processing data, the material model and the quota are quickly determined, the quotation efficiency and accuracy are effectively improved, enterprises are assisted to quickly respond to the market, and the competitiveness is enhanced.
Owner:INSPUR YUNZHOU (SHANDONG) IND INTERNET CO LTD

To-be-tested design time sequence verification method and related device

Embodiments of the invention provide a to-be-tested design time sequence verification method and a related device. The method comprises the steps of constructing a formalized model based on a description file of a to-be-tested design and a technical specification of the to-be-tested design; according to the description file of the to-be-tested design and the technical specification of the to-be-tested design, a hypothesis file is generated, and the hypothesis file is used for limiting the verification environment of the to-be-tested design and constraining input of the to-be-tested design; converting a key signal representing the running state of the to-be-tested design in the formalized model into a to-be-verified assertion; and verifying whether the assertion to be verified is true or not based on the hypothesis file and the formalized model, and judging a time sequence verification result of the design to be tested based on whether the assertion to be verified is true or not. Mathematical verification is carried out on the logic design to be tested through the formal attribute verification method, and the time sequence verification efficiency of the chip can be improved.
Owner:CHENGDU HAIGUANG INTEGRATED CIRCUIT DESIGN CO LTD