An Efficient Large-Scale System LTL Model Checking Method for De-memory Jittering
A model detection, large-scale technology, applied in the input/output process of data processing, instruments, input/output to record carrier, etc., can solve the problem that the memory algorithm is not very practical, and achieve the effect of reducing complexity
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0022] In order to facilitate those skilled in the art to understand the technical content of the present invention, the content of the present invention will be further explained below in conjunction with the accompanying drawings.
[0023] Such as figure 1 Shown is the scheme flow chart of the present application, the technical scheme of the present invention is: a kind of method for the LTL model detection of high-efficiency large-scale system to remove memory jitter, comprising:
[0024] S1. Initialize the storage structure and memory usage: the database DB includes four tables, specifically: the first table tableDD1 and the second table tableDD2 are used to detect duplicate status and two data consisting of the same status field and hash field Structure; the third table tableP1 stores the state of the path in the first DFS; the fourth table tableP2 stores the state of the path in the second DFS;
[0025] Divide the internal memory into a code segment and a data segment, ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com