40 results about "Logic simulation" patented technology

The invention relates to the technical field of software simulation operation simulation, and discloses a software logic simulation operation control method and system in an audio processor. The control method is applied to logic simulation operation control equipment and specifically comprises the following steps that S101, an audio processor simulation operation request sent by a user side is received, a graphical user interface is generated according to the operation request, and the graphical user interface comprises a logic module list area, a design editing area, an attribute bar and an information display area; and the user side drags an icon of a logic circuit element from the logic module list area to the design editing area. Through a highly integrated graphical interface and intelligent interactive design, the design and simulation efficiency of an audio processor logic circuit is remarkably improved, and by adopting a'drag-and-generate 'module instantiation mechanism, an attribute bidirectional real-time synchronization technology and visual connection and signal type inspection, the reliability of the audio processor logic circuit is greatly improved. Therefore, the user can intuitively and quickly construct the complex circuit topology, and the professional threshold is greatly reduced.

The invention relates to the technical field of chip simulation, in particular to a voltage logic simulation design method and system for a passive internet-of-things tag chip. The method comprises the following steps: performing energy characteristic measurement on the tag chip, and calculating voltage fluctuation and logic gate triggering probability to obtain energy logic state mapping data; state transition probability distribution mapping is carried out according to the energy logic state mapping data, and a transition probability distribution tensor is constructed; collecting measurement environment parameters in the energy characteristic measurement process, and performing dynamic environment interference compensation on the transition probability distribution tensor to generate an interference compensation distribution tensor; carrying out simulation precision demand distribution based on the interference compensation distribution tensor, and constructing a layered simulation configuration file; and performing multi-precision parallel simulation execution based on the layered simulation configuration file, and generating a probabilistic verification report. Through precise and efficient logic simulation, the reliability of chip design is improved, and the fault probability is reduced.

The embodiment of the invention discloses a virtual-real linkage experiment system based on digital twinning. The virtual-real linkage experiment system comprises hardware experiment equipment and computer equipment for operating a virtual simulation platform. The hardware experiment equipment comprises a simulator and a plurality of pluggable function modules. And the simulator is in communication connection with the virtual simulation platform through a computer equipment communication interface and communicates with each functional module. And the virtual simulation platform runs the virtual simulation model, receives an operation instruction input by a user through the computer equipment input assembly, performs logic simulation, updates the simulation state of the virtual simulation model, generates simulation state information and sends the simulation state information to the simulator. The simulator converts the simulation state information into a driving signal, drives the corresponding function module to update the physical state, and collects the physical state of each function module to obtain physical state information. The physical state is generated by operation of a user on the corresponding functional module or by the functional module responding to the driving signal. And the virtual simulation platform updates the simulation state of the virtual simulation model according to the physical state information.

The invention provides a chip design verification method and system, electronic equipment and a storage medium. The chip design verification method comprises the following steps: acquiring a design file of a chip and a design stage corresponding to the design file; selecting a target collaborative verification mode matched with the design stage from a plurality of collaborative verification modes; wherein the cooperative verification mode comprises a mode for verifying the design file through cooperation between logic simulation verification and form verification; the collaborative verification modes corresponding to different design stages are different, and the collaborative modes between logic simulation verification and form verification in the different collaborative verification modes are different; and verifying the design file based on the target collaborative verification mode. According to the method, logic simulation verification and formal verification work cooperatively, and respective advantages are combined for complementation, so that the efficiency and effectiveness of chip design and verification are improved.

The invention relates to the technical field of chip simulation, in particular to a chip simulation method, a chip simulation device, chip simulation equipment and a medium, the method comprises the following steps: in a comprehensive logic stage of a chip, performing comprehensive logic simulation after reading an actual layout plan to obtain a comprehensive netlist, the comprehensive netlist comprises interconnection line delay data and time sequence library information, the layout planning comprises specific position information of a hard core and a standard unit of the chip; generating a standard delay format file according to the interconnection line delay data and the time sequence library information; the integrated netlist and the standard delay format file are read into a static time sequence analysis tool for integration post-simulation, and a time sequence report is obtained; and determining whether a time sequence problem exists or not according to the time sequence report, and if so, repairing the path with the time sequence problem. According to the method, the accurate delay problem can be obtained through quick simulation.

Systems and methods are provided for propagation determinations of unknown values in logic simulations of digital circuit designs. A method may include accessing (402) a digital circuit design (210) and parsing (404) the digital circuit design (210) to detect state elements. The method may also include performing (406) a logic simulation on the digital circuit design (210) that includes tracking propagation of x-values in the digital circuit, wherein the x-values represent an unknown value for an output of a digital circuit design element. During the logic simulation, method steps can include tracking (408) the state elements of the digital circuit design (210) to determine when any output of the state elements is the x-value during the logic simulation and triggering (410) an x-propagation response when an x-propagation criterion is satisfied based on detected x-value outputs for the state elements of the digital circuit design (210).

The application relates to a relay protection misoperation root cause analysis method, device, equipment, medium and program product. The method comprises the following steps: in response to detecting a relay protection misoperation event, acquiring a corresponding observation data set; extracting and locking an exogenous noise vector of the relay protection misoperation event by inverse operation of a mixed driving structure equation; calculating average causal effects of each environmental state variable on relay protection action behavior, and generating a root cause quantitative analysis result according to the average causal effects; receiving an intervention operation instruction input by a user for a target environmental state variable, keeping the locked exogenous noise vector unchanged, inputting the modified target environmental state variable into a structural causal model, performing forward prediction and waveform synthesis through a mixed deduction engine, generating a virtual fault waveform and corresponding relay protection logic simulation results; and comparing the time domain waveform and the action logic to generate a comparison result. The method can quickly reproduce an accident scene and quantitatively locate a misoperation root cause.

The present invention relates to a logic simulation verification system, method, and program. The same logic simulation results are provided to each logic simulator in a short time. The logic simulation verification system verifies the change of signals described in a library, a circuit description, and a test bench for a reference signal that is a basis for the change of signals, and includes: a change timing specifying unit that specifies a reference signal and change information of the reference signal; a change possibility time calculation unit that obtains a first time when there is a possibility that a first signal substituted for a variable changes; a reference possibility time calculation unit that obtains a second time when there is a possibility that a second signal to which the variable is referred is referred; a change possibility time determination unit that compares the first times when the first signals are the same between different circuits to determine whether the first times are consistent; and a change and reference possibility time determination unit that determines whether the first signal of one party and the second signal of the other party are the same between different circuits and the first time and the second time are consistent.

This invention relates to the field of logic simulation and decision support for nuclear power units, and particularly to a lightweight simulation analysis system and method for the consequences of power outages in nuclear power units. The system includes an electrical node module, a logic judgment module, and a simulation analysis module. The electrical node module constructs an electrical node model and defines the attributes and electrical logic relationships of the electrical nodes. The logic judgment module performs logical judgments to determine the state of the electrical nodes. When the simulation analysis module receives a power outage signal from an electrical node, it queries the downstream electrical nodes of the out-of-power node and transmits the power outage signal to the downstream electrical nodes. It then performs logical judgments on the out-of-power node and the downstream electrical nodes, and provides the power outage status of the downstream electrical nodes based on the judgment results. This invention uses the simulation analysis module to simulate and analyze power outage faults in nuclear power plants. Authorized users can perform simulation operations via the Internet, improving the flexibility and efficiency of the simulation system.

The present application discloses an interlocking simulation system and an interlocking simulation system application method, belonging to the field of rail transit technology. The interlocking simulation system is applied to the EI32-JD type computer interlocking system. The interlocking simulation system includes: logic simulation software and API files, both of which are provided by the safety platform simulation system applied to the EI32-JD type computer interlocking system; a standard engineering directory structure template, which is the EI32-JD type computer interlocking system's own template, and the logic simulation software and API files are built within the standard engineering directory structure template. The interlocking simulation system of the present application can reduce design and testing costs and improve work efficiency.

The application discloses an elevator software electronic simulation test system, the test object includes elevator logic control software and elevator drive software, wherein data exchange is carried out between the elevator logic control software and the elevator drive software, the elevator simulation test device includes an elevator logic simulation subsystem and a motor drive simulation subsystem, wherein the motor drive simulation subsystem includes a PWM sampling module, a frequency converter DC bus voltage estimation module, a motor power estimation module, an elevator load simulation module, a motor simulation module, an encoder simulation module and other output interface modules and the like. The simulation test system collects the data of the PWM output waveform of the elevator drive software, the data of I / O interfaces such as a brake resistor and a fan, simulates the running state of the elevator and the motor in a pure software mode, realizes the simulation of the motor rotating speed, position and current and the like, connects the simulation result into the elevator drive software, and thus realizes the test on the elevator drive software.

The application belongs to the technical field of electric power storage, and discloses a power warehouse operation simulation and bottleneck diagnosis system based on digital twinning. A multi-source perception architecture is constructed through an acquisition and adaptation module, covering full-factor data such as equipment operation and personnel operation. Combined with a five-dimension fusion model of a twinning modeling module and a laser scanning modeling technology, the physical space and operation logic of the power warehouse are accurately restored. A simulation and deduction module adopts a fusion simulation algorithm and a double-scene template library to realize linkage simulation of the whole process and control instructions of warehousing, storage, picking, and delivery, can simulate the operation state under different scenes, and avoid efficiency problems such as equipment waiting and path redundancy in advance. A bottleneck diagnosis module constructs a three-dimension evaluation system of operation state, control parameters, and equipment performance, integrates real-time working condition data and simulation analysis results, scientifically distributes index weights through an analytic hierarchy process, and realizes quantitative division of bottleneck grades.

This application relates to the interdisciplinary field of artificial intelligence and reliability systems engineering, and provides a method and apparatus for intelligent generation of equipment fault behavior logic models based on LLM (Limited Linear Modeling). This method combines a vector database to achieve enhanced retrieval, constructs an agent-based framework for generating equipment fault behavior logic models, and then generates structural elements in the agent for each business component involved in the equipment fault behavior logic. Based on the model structure, the results are integrated and merged, ultimately achieving a complete and runnable equipment fault behavior logic simulation model. This method integrates the interactive modeling capabilities of agents with the semantic understanding and logical reasoning capabilities of large language models, enabling intelligent generation of fault behavior models for complex equipment and effectively improving the generation efficiency of equipment fault behavior models.

The application provides a chip design verification method, system, electronic equipment and storage medium. The chip design verification method comprises: obtaining a design file of a chip and a design stage corresponding to the design file; selecting a target collaborative verification mode matched with the design stage from multiple collaborative verification modes; wherein the collaborative verification mode comprises a mode of verifying the design file by cooperation between logic simulation verification and formal verification; the collaborative verification modes corresponding to different design stages are different, and the cooperation modes between logic simulation verification and formal verification in different collaborative verification modes are different; and verifying the design file based on the target collaborative verification mode. The method makes logic simulation verification and formal verification work collaboratively, combines their respective advantages for complementation, so as to improve the efficiency and effectiveness of chip design and verification.

The invention discloses a method for calculating overvoltage of an offshore wind power power frequency and low frequency hybrid power transmission system, which comprises the following steps: establishing an electromagnetic transient simulation model of the offshore wind power power frequency and low frequency hybrid power transmission system, selecting typical working conditions of the offshore wind power power frequency and low frequency hybrid power transmission system, and calculating the overvoltage of the system according to a control protection strategy of the system; correct action logic is set for key equipment in the system, overvoltage waveforms of key positions of the system are obtained through simulation calculation, representative overvoltage and corresponding working conditions of the key positions of the system are obtained after all working conditions are summarized, and a guidance basis can be provided for insulation cooperation design of offshore wind power power frequency and low frequency hybrid power transmission projects.

The invention relates to the technical field of spacecrafts, in particular to an electric propulsion fault analysis method and system based on system simulation, and the method comprises the steps: classifying, organizing and storing test data of an electric propulsion vacuum bin, managing the test data through a database, carrying out null cleaning on the data, filtering the data, dividing working conditions, carrying out statistical analysis, constructing features, and carrying out dimensionality reduction. The method comprises the steps of building a system simulation model, building an anomaly detection model, mining threshold rules, building a trend prediction model and building a comprehensive judgment model. According to the method, a deterministic model in a design process, a ground ignition test and a large amount of on-orbit telemetry data are utilized, real-time accurate interpretation and state evaluation of on-orbit data are realized through logic simulation operation, and a potential fault mode is effectively identified. Compared with a traditional electric propulsion on-orbit state evaluation and fault diagnosis method, the electric propulsion on-orbit state evaluation and fault diagnosis method has higher accuracy and efficiency.

A verification method for an integrated circuit according to an embodiment includes: acquiring circuit operation information of an integrated circuit to be verified by a logic simulation; and analyzing the circuit operation information and extracting a verification set. The verification method according to the embodiment further includes verifying a logical operation of a location where clock domains are crossed for the verification set for each inter-flip-flop.

The present application relates to avionics ground test, photoelectric load production debugging technical field, especially to a kind of photoelectric load ground detection and avionics simulation system and method based on FC point-to-point, with simulation control host computer as core, replace complex exchange avionics network by FC point-to-point direct connection, under the condition of no real avionics equipment, no switch, the behavior of avionics node required by photoelectric load, communication timing and instruction logic are completely simulated, to simplify the physical connection logic simulation complete complex avionics network to the whole communication behavior of photoelectric load, while through image acquisition module real-time recycling image or video data stream, realize control flow+image or video data stream double closed loop.The system supports test configuration, instruction sending, data monitoring, record playback, automatic criterion, fault location and test report generation, constitute complete photoelectric load ground detection system.

The invention relates to the technical field of digital modeling simulation, and aims to solve the problem that no appropriate simulation verification method for logic design of a water level management and control function of a ship water making device exists in the prior art. The invention discloses a logic simulation design method for a water level control function of a ship water making device, computer equipment, a computer readable storage medium and a computer program product. The method comprises the following steps: establishing a sequence diagram of a water level control function of the ship water making device through a modeling software tool based on SysML; establishing a state machine diagram of the water level control function of the ship water making device; the logic operation condition of the water level management and control system is monitored by setting state variables and simulating an operation state machine diagram; establishing an activity diagram of the water level control function of the ship water making device; and judging whether the activity condition of each step of the water level control function is logically correct or not by setting a preset value, a condition condition and a simulation operation activity diagram. By adopting the method, the logic relationship can be intuitively displayed, and the logic design effect can be conveniently verified.

The invention discloses a universal asynchronous receiver / transmitter (UART) digital logic simulation architecture system based on VerilogHDL. The system comprises a demand module, a test case TESTCASE module, an instruction model CMDMOD module and an asynchronous serial port model UARTMOD module. The UART digital logic simulation architecture based on VerilogHDL is established, the problems that an existing UART simulation architecture is single in application scene and needs to be continuously modified to be suitable for various application scenes of various items are solved, the UART simulation architecture is suitable for various application scenes of various items through parameter transmission and analysis, and the simulation verification efficiency of various application scenes of UART of various items is improved.

The invention discloses a power distribution network co-jump risk identification and early warning method based on multi-source data fusion, and the method comprises the steps: collecting operation data in real time from a plurality of heterogeneous data source systems of a power distribution network; preprocessing the collected multi-source data to form a standardized data sequence with a unified time scale; extracting a multi-dimensional feature index based on the standardized data sequence; constructing a same-hop risk identification model based on machine learning, fusing the multi-dimensional feature indexes, calculating to obtain a comprehensive same-hop risk probability value, and delimiting a risk level according to a numerical value interval; when the risk level reaches or exceeds a preset intermediate risk threshold value, load flow calculation and protection logic simulation are carried out, and a potential cascading failure development path is predicted; and generating early warning information according to the risk level and the predicted fault path, and pushing the early warning information to a power distribution network dispatching system. Through deep combination of multi-source data fusion and a machine learning technology, leap-type improvement of the same jump risk identification and early warning capability of the power distribution network is realized.

A method for providing power analysis of a circuit comprises estimating output power during a time interval for a gate of the circuit based on an input event; and including the estimated output power of the gate in the power analysis of the circuit. In some implementations, estimating output power includes considering, for the gate, an “output timing reject region” of the input event in which a pulse width at the input is between two thresholds, the thresholds being selected such that the input event does not propagate to an output of the gate. Nevertheless, the input event contributes partially to the estimated output of the gate. In some implementations, estimating output power includes implementing a live gate model using gate datasheet information stored by the gate.

The application discloses a transaction-based data logic simulation system, which comprises an upper computer and a digital logic simulation device; wherein the upper computer is coupled with the digital logic simulation device and is used to send a design under test (DUT) and a simulation instruction to the digital logic simulation device; the digital logic simulation device receives and loads the design under test and receives the simulation instruction, generates simulation excitation data based on the simulation instruction, applies the simulation excitation data to the design under test to obtain a simulation result, compares the simulation result with a preset simulation result to obtain a comparison result, and sends the comparison result to the upper computer. The application solves the technical problem of low digital logic simulation efficiency in the prior art.

The present application relates to avionics ground test, photoelectric load production debugging technical field, especially to a kind of photoelectric load ground detection and avionics simulation system and method based on FC point-to-point, with simulation control host computer as core, replace complex exchange avionics network by FC point-to-point direct connection, under the condition of no real avionics equipment, no switch, the behavior of avionics node required by photoelectric load, communication timing and instruction logic are completely simulated, to simplify the physical connection logic simulation complete complex avionics network to the whole communication behavior of photoelectric load, while through image acquisition module real-time recycling image or video data stream, realize control flow+image or video data stream double closed loop.The system supports test configuration, instruction sending, data monitoring, record playback, automatic criterion, fault location and test report generation, constitute complete photoelectric load ground detection system.

The invention discloses a relay protection device logic simulation model standardization module modeling system and method, particularly relates to the technical field of relay protection simulation modeling, and is used for solving the problem of insufficient simulation model fidelity caused by complex implicit logic coupling between standardization function modules in an existing modularization modeling method. The method comprises the following steps: acquiring standardized function modules of a target device and an initial combination connection relationship thereof, identifying all cross-module interaction paths, evaluating fault characteristics of the cross-module interaction paths to generate an interaction strength map, identifying a high-coupling risk path, applying directional excitation to the high-coupling risk path, and simulating the high-coupling risk path; whether path interaction abnormity triggered by implicit logic dependence exists or not is analyzed and detected through causal inference, finally, according to an abnormity generation behavior constraint rule, the abnormity generation behavior constraint rule, a module and a connection relation are packaged together, a high-fidelity standardized combined simulation model is formed, unexpected interaction behaviors in a module combination are effectively found and constrained, and the simulation efficiency is improved. And the accuracy of the protection device model and the reliability of action logic reproduction are improved.

The invention relates to the technical field of artificial intelligence and reliability system engineering crossing, and provides an LLM-based equipment fault behavior logic model intelligent generation method and device. The method combines a vector database to realize enhanced retrieval, constructs an equipment fault behavior logic model generation framework based on an intelligent agent, then generates structural elements in the intelligent agent one by one for business components involved in equipment fault behavior logic, and completes integration and combination of results based on a model structure. And finally, a complete and operable equipment fault behavior logic simulation model is realized. According to the method, the interactive modeling ability of the intelligent agent and the semantic understanding and logical reasoning ability of the large language model are fused, intelligent generation of the fault behavior model of the complex equipment is realized, and the generation efficiency of the equipment fault behavior model is effectively improved.

The present invention provides a verification method, verification apparatus, program, and storage medium that can suppress the occurrence of false errors in integrated circuits including CDC locations. [Solution] The verification method for an integrated circuit according to the embodiment comprises the steps of acquiring circuit operation information of the integrated circuit to be verified by logic simulation, and analyzing the circuit operation information to extract verification combinations. The verification method according to the embodiment further comprises the step of verifying the logic operation of the verification combinations that span clock domains for each flip-flop.

Methods, computer program products, and systems are presented. The method computer program products, and systems can include, for instance: performing logic simulation of a cell and determining, in dependence on the performing logic simulation of the cell, a first at least one component of power consumption of the cell, wherein the cell is included in a transistor level IC design selected for modeling; determining, with use of a sensitivity transfer function, a second at least one component of power consumption of the cell, wherein generating of the sensitivity transfer function has included subjecting a representative cell to circuit simulation, the representative cell having a common family classification with the cell; and ascertaining a power consumption of the cell in dependence on the first at least one component of power consumption of the cell and in dependence on the second at least one component of power consumption of the cell.

The invention discloses a multi-path 2711 digital logic simulation architecture system based on Verilog HDL (High Definition Language). The multi-path 2711 digital logic simulation architecture system comprises a demand module, a test case TESTCASE module and a 2711 model 2711 MOD module, according to the invention, the multi-path 2711 digital logic simulation architecture based on Verilog HDL is established, the problems that the application scene of the existing 2711 simulation architecture is single and needs to be continuously modified to be suitable for various application scenes of each project are solved, the multi-path 2711 digital logic simulation architecture is suitable for various application scenes of each project through parameter transmission and analysis, and the simulation verification efficiency of each project about various application scenes of 2711 is improved. According to the multi-path 2711 digital logic simulation architecture based on VerilogHDL, adaptive modification of requirements can be completed on a TESTCASE layer of a test case according to the requirements, and a lower-layer 2711 model 2711MOD does not need to be modified, so that the applicability of the lower-layer 2711 model 2711MOD is higher, and the application is more flexible.

The application relates to the field of computer simulation and automatic control technology, and discloses a complex system launch control logic simulation and verification method.The method comprises the following steps: fusing multi-source flight states, environment perception and task information to construct a multi-dimensional state space representation; outputting candidate control rules through a logic generation model fused by a graph neural network and an attention mechanism; carrying out double verification by combining formal semantic checking and safety reachability analysis; after verification, smoothly deploying new logic in an isolated sandbox, and online fine-tuning the model based on execution feedback.The system comprises five modules, namely, multi-source data fusion, logic generation, formal verification, logic deployment and monitoring and updating.The application realizes dynamic evolution and safety closed-loop optimization of launch control logic, and significantly improves the task continuity and control reliability of a complex system under non-expected working conditions.