Digital circuit function modeling method and system based on internal entity state transition

Abstract

The invention discloses a digital circuit function modeling method and system based on internal entity state transition. According to the invention, functional points and internal entities are analyzed and extracted according to the functional specifications of the target digital circuit; and performing formalized description on the behavior process of the function point by adopting a stage transfer model with function attribute classification, and performing formalized description on the internal entity of the circuit by adopting an expansion finite state machine, thereby obtaining a functionmodel of a target digital circuit formed by the stage transfer model and the expansion finite state machine. According to the invention, the time sequence characteristic of each functional point in the digital circuit and the concurrent characteristic of multi-functional point execution can be efficiently and completely described; The method is suitable for function modeling of a digital circuit,has the advantages of being formalized and graphical, has good expansibility and applicability, and is convenient to carry out engineering application in the integrated circuit design verification process, especially in the aspect of excitation automatic generation.

Description

technical field [0001] The invention relates to the field of integrated circuit design verification, in particular to a digital circuit function modeling method and system based on internal entity state transfer, which can be used for automatic work of integrated circuit design and verification. Background technique [0002] With the continuous development of social information technology and the continuous improvement of integrated circuit technology, the design scale and functional complexity of integrated circuits continue to increase, which has caused great difficulties in the design and functional verification of autonomous controllable chips. In order to alleviate this problem, the method of modeling and describing the circuit function based on the circuit function requirement specification has good scalability and can greatly improve the development efficiency of software and hardware in the design cycle. At the same time, this method can also be applied to the verifi...

AI Technical Summary

Problems solved by technology

These description methods have problems such as inability to model complex data calculation functions, poor applicability and scalability, and lack of timing-related function descriptions, and cannot achieve complete and efficient digital circuit function modeling and description based on functional specifications.

At the same time, the above method does not use the unified modeling of the functional behavior of the circuit and the entity of the circuit, which leads to incomplete modeling and difficulty in automatically generating incentives.

Images