Unlock instant, AI-driven research and patent intelligence for your innovation.

A SoC prototype verification case extraction model modeling method based on configuration driving

A technology of model modeling and prototype verification, applied in the field of SoC verification, can solve the problems of unrepeatable uncertainty, unreliable verification results, etc., and achieve the effect of improving reliability

Active Publication Date: 2019-06-25
XIAN MICROELECTRONICS TECH INST
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This human factor in the conversion process is a source of uncertainty and non-repeatability, which will also lead to unreliable verification results

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A SoC prototype verification case extraction model modeling method based on configuration driving
  • A SoC prototype verification case extraction model modeling method based on configuration driving
  • A SoC prototype verification case extraction model modeling method based on configuration driving

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0034] see image 3 , taking a self-developed SoC-integrated counter as a modeling object, the implementation process of this embodiment is described. The counter unit realizes the 32-bit counting function and counts the external input square wave signal. Before sampling the input signal, the counter filters the input signal. The counter unit is integrated on the APB bus using the APB bus interface protocol. The counter design structure is as figure 2 As shown, the configuration interface included is shown in Table 1.

[0035] Step 1. Extract the vertex set V: According to the definition of the configuration interface, the control parameter vertex includes the mode selection parameter (v ms ) and filter value parameter (v fv ), ie V c ={v ms , v fv}; The state parameter includes the counter count value parameter (v cv ), ie V s ={v cv}; work procedure parameters include counter enable operation (v ec ), counter clear operation (v cc ), counter latch operation (v ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a SoC prototype verification case extraction model modeling method based on configuration driving. According to the invention, the method comprises steps of by extracting all control parameters, state parameters and operation procedures of the functional model as vertexes of the digraph, recording edge sets and skip edge sets of all the control parameters and the operationprocedures in the functional model, and finally obtaining a digraph structure of the functional model. According to the method, on one hand, the influence of human factors on verification case extraction can be reduced, on the other hand, an automatic verification case extraction method can be further developed by utilizing a computer data structure with a flexible directed graph, and the verification case extraction reliability is improved.

Description

technical field [0001] The invention relates to the field of SoC verification, in particular to a configuration-driven SoC prototype verification use case extraction model modeling method. Background technique [0002] At present, based on the two characteristics of highly integrated scale and complex system characteristics, the design and application of SoC has become the main focus of IC development. In complex SoC chip design, in order to ensure the correctness of the design, reliable SoC function verification must be carried out. As an important means of functional verification, FPGA prototype verification can quickly implement hardware modules in SoC design, allow software modules to run at high speed on real hardware, and realize software-hardware co-verification of SoC design. FPGA prototype verification plays an increasingly important role in SoC functional verification due to its extremely high verification efficiency, and has become the research focus of verificat...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
Inventor 宁宁游军许辉勇高宜楠
Owner XIAN MICROELECTRONICS TECH INST