The invention discloses a finite-state
machine coverage rate statistical method of a VCD (Video
Compact Disc) file, which is characterized in that a mapping relationship is established between a
signal name and state transition information by directly analyzing a
YAML (Young Attribute Markup Language) format file of finite states and transition behaviors among the states compiled in a
design stage and adopting a
hash table mapping technology, so that the constant-level efficiency of reducing
time complexity to O (1) is realized. When the VCD file generated by
simulation is processed, two strategic file reading methods are adopted, and the file
processing flow is simplified. And the uniqueness and accuracy of
data processing are ensured through a self-defined Hash
algorithm. In
simulation data processing, screening is carried out according to the rule of the first character of the data, and only key state transition information is reserved. According to the method, the defects of
processing the VCD file and counting the coverage rate of the finite-state
machine under the condition of
limited resources in the prior art can be effectively overcome, the counting speed of the coverage rate of the finite-state
machine is increased, the efficiency of the
verification process is improved, and remarkable
performance improvement is brought to the
verification stage of
integrated circuit design.