Electronic system behavior-level simulation verification method

Abstract

The invention discloses a behavior-level simulation verification method for an electronic system. The method comprises the steps that hierarchical modeling is conducted on modules and signals in the electronic system; wherein the modeling module comprises a plurality of ports and a behavior description function; the port is an external signal interface of the module and is composed of a signal cache, an input response function and an output binding list; wherein the behavior description function processes a signal input from a port and cached, and then converts a processing result into an output signal; based on the modeled modules and signals, a scheduler for realizing a simulation algorithm is adopted to perform simulation verification. According to the method, hierarchical modeling of the complex electronic system is intuitively carried out, so that the modeling complexity of the electronic system can be reduced, and the working efficiency is improved; a signal cache is introduced into the port model, so that the problem of port signal state maintenance is naturally solved; and an output binding list is introduced into the port model, so that width-first simulation scheduling isrealized, and the simulation process better conforms to parallel behavior characteristics of hardware.

Description

technical field [0001] The invention belongs to the technical field of electronic design automation (EDA), in particular to an electronic system behavior-level simulation verification method, which is mainly used for simulation verification and confirmation of system structure, function and performance requirements in the early stage of modern electronic system design. Background technique [0002] There is an existing solution SystemC TLM (Transaction Level Modeling), which is mainly used for design verification of a system on a chip (SoC). Its model elements mainly include interfaces, ports, modules and channels. System simulation verification at a higher level of abstraction is realized through interface calls. The specific process is that the communication initiation module calls an interface function bound to one of the ports or channels. The interface function is in It is implemented in the port of the target module, uses function parameters to pass information, and tr...

AI Technical Summary

Problems solved by technology

[0003] The main problem of this method is that the modeling process is relatively abstract and the comprehensibility is poor; in the case of one-to-many port connection, the depth-first interface function call chain does not match the parallel behavior characteristics of hardware; It is cumbersome; in addition, the built-in data types focus on digital system simulation and lack support for other non-digital signals

Images