CN113032274B - Method for verifying CABAC (context-based adaptive binary arithmetic coding) continuous image aiming at H.265 - Google Patents
Method for verifying CABAC (context-based adaptive binary arithmetic coding) continuous image aiming at H.265 Download PDFInfo
- Publication number
- CN113032274B CN113032274B CN202110370606.4A CN202110370606A CN113032274B CN 113032274 B CN113032274 B CN 113032274B CN 202110370606 A CN202110370606 A CN 202110370606A CN 113032274 B CN113032274 B CN 113032274B
- Authority
- CN
- China
- Prior art keywords
- folder
- script
- data
- input
- file
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3648—Software debugging using additional hardware
- G06F11/3652—Software debugging using additional hardware in-circuit-emulation [ICE] arrangements
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
- G06T9/00—Image coding
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Multimedia (AREA)
- Debugging And Monitoring (AREA)
Abstract
The invention provides a verification method for CABAC continuous images of H.265, which comprises the following steps: specifying a construction level of a verification environment on a linux platform; matching the shell script with the makefile script to realize the control of the whole verification environment; controlling input image data of the CABAC module; and controlling the output data comparison result of the CABAC module and the operation process of the simulator. The invention realizes the artificial flow operation process in a code mode, and the shell script judges and verifies the environment state according to the process and interacts with the operation system, thereby saving manpower, saving repeated and complicated operation, liberating two hands, improving the quality and efficiency of logic code development and reducing the development cost.
Description
Technical Field
The invention relates to a digital circuit verification technology, in particular to a verification method for CABAC continuous images of H.265.
Background
With the popularization and application of ultra-high-definition technology, the functional complexity of a video chip is greatly increased, the encoding efficiency of the H.265 video standard is improved by 50% on the basis of H.264, a plurality of brand-new algorithms are introduced into the H.265 video standard, and new challenges are provided for the design of a multi-standard video codec, so that the reliability of the video chip becomes very important, the requirement of the complexity improvement on the functional verification is firstly brought to the forefront, and the workload and the working difficulty are increased in magnitude along with the improvement of the design complexity during the verification of the chip.
The video chip design can be divided into a front end (logic design) and a back end (physical design), the verification link is a special existence, like a branch line, the process from the definition of the verification link and the requirement to the synthesis to the physical realization is parallel, and the verification link runs through the beginning and the end of the chip design flow. The verification has the significance that the key idea of iteration is continuously provided for the design or implementation process, namely the problems of unsatisfactory performance, bug of code function of design, integration error of the whole chip and the like found in the verification process. With the progress, the expression form of one chip changes, and the chip is converted into various netlists from the RTL code to the final layout. In this process, the verification can be divided into pre-simulation (based on RTL code) and post-simulation (based on gate-level netlist). Most design problems should be exposed in the process of pre-simulation, after all, the higher the iteration cost of the design to the later, the higher the risk, and the long-standing hardware simulation is, which provides designers with a more accurate circuit behavior description in front of the tape-out.
Functional verification has become the most time-consuming bottleneck in the whole chip design flow at present, and all preset functions of various image and video processing chips should be solved by a verification engineer before the chips are finally put on the market.
In the verification process, a large amount of data needs to be input in some scenes, some operations need to be repeated, the number of times of the operations increases as the input data amount is larger, fatigue or confusion caused by repetitive actions can occur during manual operation, if each process needs a period of processing time, the whole verification state needs to be manually concerned, the next input verification is started after waiting for one operation at any time, the time is also improper, the whole verification time is prolonged, and meanwhile, unnecessary manpower is consumed.
By combining the above factors, it is necessary to automatically perform continuous image verification, solve the problem of repeated operation in the verification process, release manpower, and improve the verification efficiency.
Disclosure of Invention
In view of the above, an object of the present invention is to provide a method for verifying consecutive images of an h.265 CABAC (adaptive binary arithmetic coding) module, so as to solve the problems of fatigue or state control confusion caused by repetitive operations when a large amount of image data is required to be input in the verification process of the h.265 CABAC module, wasted verification time and low equivalent rate of human consumption caused by manually controlling all processes by manually paying attention to the whole verification state.
According to the method, the building level of the verification environment on the linux platform is designated, and the shell script and the makefile script are matched, so that the control of the whole verification environment is realized, the input data of the CABAC module is controlled, and the output data comparison result of the CABAC module and the operation process of the simulator are controlled.
The invention provides a verification method for CABAC continuous images of H.265, which comprises the following steps:
s1, specifying the construction level of the verification environment on the linux platform, and sequentially comprising the following steps:
the du, sim, tb, script, output, data and ref folders;
the dut folder stores a complete CABAC module design code and collects filelist files of all design file names;
the sim folder stores makefile scripts and various log information generated in the working process of the compiler;
the tb folder stores comparator codes and other hdl codes of the building environment;
the script file folder stores shell scripts;
the output folder stores the comparison result;
the data folder stores all image data to be input into the CABAC module, and each image data is stored in an independent txt or dat file to be used as the input of the CABAC module;
the ref folder stores a reference result obtained by running a reference model; files placed under the ref folder and files under the data folder are in one-to-one correspondence, and the two corresponding files are marked by using the same prefix names;
s2, matching the shell script and the makefile script to realize control of the verification environment after the hierarchy is built, and the method comprises the following steps:
s21, positioning a path;
s22, checking a data folder;
s23, checking a ref folder;
s24, judging effective input;
s25, modifying the tb parameter;
s26, calling makefile script;
the calling makefile script means that the makefile script under the sim folder is called when the shell script is executed to the step S26;
the makefile script indicates compiling and simulating commands of all design rtls and tb environment rtls, design compiling is completed by inputting a specified make instruction, and the makefile script runs a simulating step;
the calling makefile script comprises simulator compiling and simulator simulating;
the simulator compiling means that the makefile script executes an rtl compiling command to compile the whole testbench;
the simulator simulation means that the makefile script executes a simulation running command, and after the start of simulation is started, the comparator can continuously judge whether the output data of the CABAC module is consistent with the reference data;
s27, judging the input quantity;
judging the input quantity, namely judging whether all files in input _ temp are read in and running the simulation by the shell script after the simulation is finished, if the shell script judges that the number of the read-in files is less than the total number of the files, returning to the step S25 to modify the tb parameter, and repeating the operations of the steps S25-S27 in sequence until all image data are read in by the CABAC module and running the simulation finally, and the shell script quits to be executed;
s3, controlling input image data of the CABAC module;
and S4, controlling the output data comparison result of the CABAC module and the operation process of the simulator.
Further, the shell script in the step S1 is used to detect a data file in the data folder, send image data to a testbench, provide input to the CABAC module, and control the simulation process by the shell script.
Further, the locating path in step S21 is an absolute path for determining the entire verification environment, so as to find files under other paths through the absolute path.
Further, the checking the data folder in the step S22 means that the shell script enters a data folder path, all data file names in the data folder path are collected in an input _ temp file, and all files in the input _ temp file path are regarded as being input by the CABAC module.
Further, the checking of the ref folder in step S23 means that the shell script enters a ref folder path, and names of all data files in the ref folder path are collected in a ref _ temp file, and all files in the ref _ temp file path are regarded as the CABAC module-usable reference output data.
Further, the valid input judgment in the step S24 means that the shell script reads the input _ temp file and the ref _ temp file, and maps the relationship between the image data in the data folder path and the image data in the ref folder path.
Further, the modified tb parameter in step S25 indicates that the shell script enters the tb folder path, and modifies the file name read by the stimulus generation module and the comparator module.
Further, the output data of the CABAC module of the step S4 is used as input data of a comparator that compares results one by reading a standard input of corresponding image data of a ref folder; and when the comparison result is not in accordance with the log file, the comparator generates a log file corresponding to the image data, the error information is printed, the error information of different image data is stored in different files, and the error information is identified by file names and stored in an output folder.
Further, the shell script control simulation process comprises starting a shell script to carry out simulation and carrying out continuous image data input verification.
Further, the step of simulating the makefile script running in the step S4 includes starting the makefile script to simulate, and specifying specific image data as input to verify
Compared with the prior art, the invention has the beneficial effects that:
the shell script is used for compiling the script, manual flow operations during CABAC module function verification, such as opening of a designated folder, checking of image data, designated input, parameter setting, simulation starting and the like, are realized in a code mode, the shell script judges the verification environment state according to the process and interacts with an operating system, manpower is saved, repeated and complicated operations are omitted, both hands are liberated, the quality and the efficiency of logic code development are improved, and the development cost is reduced.
Drawings
Various other advantages and benefits will become apparent to those of ordinary skill in the art upon reading the following detailed description of the preferred embodiments. The drawings are only for purposes of illustrating the preferred embodiments and are not to be construed as limiting the invention.
In the drawings:
FIG. 1 is a verification environment architecture on a linux platform according to an embodiment of the present invention;
FIG. 2 is an H.265 system image data validation platform of an embodiment of the invention;
FIG. 3 illustrates the steps of running the shell script according to an embodiment of the present invention;
FIG. 4 is a flow chart of a method of the present invention for verifying CABAC continuous images for H.265;
fig. 5 is a flowchart of step S2 of the present invention.
Detailed Description
Reference will now be made in detail to the exemplary embodiments, examples of which are illustrated in the accompanying drawings. When the following description refers to the accompanying drawings, like numbers in different drawings represent the same or similar elements unless otherwise indicated. The implementations described in the exemplary embodiments below are not intended to represent all implementations consistent with the present disclosure. Rather, they are merely examples of apparatus and methods consistent with certain aspects of the present disclosure, as detailed in the appended claims.
The terminology used in the present disclosure is for the purpose of describing particular embodiments only and is not intended to be limiting of the disclosure. As used in this disclosure and the appended claims, the singular forms "a," "an," and "the" are intended to include the plural forms as well, unless the context clearly indicates otherwise. It should also be understood that the term "and/or" as used herein refers to and encompasses any and all possible combinations of one or more of the associated listed items.
It should be understood that although the terms first, second, and third may be used in this disclosure to describe various information, this information should not be limited to these terms. These terms are only used to distinguish one type of information from another. For example, first information may also be referred to as second information, and similarly, second information may also be referred to as first information, without departing from the scope of the present disclosure. The word "if" as used herein may be interpreted as "at … …" or "when … …" or "in response to a determination", depending on the context.
The invention provides a verification method for CABAC continuous images of H.265, which is shown in figure 4 and comprises the following steps:
s1, specifying the construction level of the verification environment on the linux platform, as shown in FIG. 1, sequentially comprising:
the du, sim, tb, script, output, data and ref folders; corresponding files are stored respectively, so that the path is conveniently searched by the script, the input file and the output file are controlled, and the whole verification environment is clearer;
the dut folder stores a complete CABAC module design code and collects filelist files of all design file names;
the sim folder stores makefile scripts and various log information generated in the working process of the compiler;
the tb folder stores comparator codes and other hdl codes of the building environment;
the script file folder stores shell scripts;
the script file folder stores a shell script for controlling the whole simulation process, the shell script is used for detecting a data file of the data file folder, sending image data into a testbench and providing input for a CABAC module, and the shell script controls the simulation process;
the output folder stores the comparison result; referring to fig. 2, the output data of the CABAC module is used as input data of a comparator that compares results one by reading a standard input of corresponding image data of a ref folder; when the comparison result is not in accordance with the log file, the comparator generates a log file corresponding to the image data, the error information is printed, the error information of different image data is stored in different files, identified by file names and stored in an output folder;
the data folder stores all image data to be input into the CABAC module, and each image data is stored in an independent txt or dat file to be used as the input of the CABAC module;
the ref folder stores a reference result obtained by running a reference model; files placed under the ref folder and files under the data folder are in one-to-one correspondence, and the two corresponding files are marked by using the same prefix names;
s2, controlling the verification environment after the hierarchy is built by matching the shell script and the makefile script; referring to fig. 5, the method comprises the following steps:
s21, positioning a path;
the positioning path is an absolute path for judging the whole verification environment, so that files under other paths can be conveniently searched through the absolute path;
s22, checking a data folder;
the data folder checking means that a shell script enters a data folder path, all data file names under the data folder path are collected in an input _ temp file, and all files under the input _ temp file path are regarded as available CABAC module input;
the shell script is a key core for controlling continuous image verification, and the running steps of the shell script are shown in FIG. 3;
s23, checking a ref folder;
the ref folder is checked, that is, a shell script enters a ref folder path, all data file names under the ref folder path are collected in a ref _ temp file, and all files under the ref _ temp file path are regarded as reference output data of an available CABAC module;
s24, judging effective input;
the effective input judgment means that a shell script reads an input _ temp file and a ref _ temp file, and maps the relationship between image data under a data folder path and image data under a ref folder path;
the file of the Ref folder and the file of the data folder are in a one-to-one correspondence relationship, for example, an image data is put into a data folder path, the output result of a corresponding reference model of the image data is put into a Ref folder path, the shell scripts can confirm the correspondence relationship one by one, and the file names of which the correspondence relationship cannot be found are deleted from an input _ temp file and a Ref _ temp file; in order to facilitate the shell script to establish the corresponding relationship, the file name of the image data should follow a certain rule, for example, the file name under the data folder is 001_ dog _ input.txt, and the file name under the ref folder is 001_ dog _ ref.txt. The file name of the image data starts with a three-digit serial number, and the input or ref indicates the file type;
s25, modifying the tb parameter;
the modified tb parameter indicates that the shell script enters a tb folder path, and the file name read in by the excitation generation module and the comparator module is modified;
the excitation generating module reads data pointing to data in a data folder, a shell script reads an input _ temp file, and the excitation generating module is modified according to the file name of the line from the first line according to the file name in the input _ temp file, so that the read data file of the module points to the file; similarly, the comparator module reads data pointing to data in the ref file folder, the shell script reads a ref _ temp file, and the comparator module is modified according to the file name of the ref _ temp file from the first row according to the file name of the row, so that the read data file of the comparator module points to the file;
s26, calling makefile script;
the calling makefile script means that the makefile script under the sim folder is called when the shell script is executed to the step S26;
the makefile script indicates compiling and simulating commands of all design rtls and tb environment rtls, design compiling is completed by inputting a specified make instruction, and the makefile script runs a simulating step;
makefile is a tool under linux, the Makefile is used for indicating a compiling command and a compiling relation, and the compiling of the whole project can be completed by only one command; aiming at a verification method of CABAC continuous images of H.265, the invention provides a method for using makefile scripts, which indicates compiling and simulation commands of all design rtl and tb environment rtl, completes design compiling by inputting a specified make instruction, and runs a simulation step;
the step of running simulation of the makefile script comprises the step of starting the makefile script to carry out simulation;
the calling makefile script comprises simulator compiling and simulator simulating; specific image data is designated as input for verification.
The simulator compiling means that the makefile script executes an rtl compiling command to compile the whole testbench;
the simulator simulation means that the makefile script executes a simulation running command, and after the start of simulation is started, the comparator can continuously judge whether the output data of the CABAC module is consistent with the reference data; comparing correct data without any processing, storing the data with error comparison in log information under an output folder, and creating an output file by a comparator according to a naming format of 001_ dog _ output.log;
s27, judging the input quantity;
the input quantity judgment refers to that the shell script judges whether input _ temp files are all read in and runs simulation after the simulation is finished, if the shell script judges that the number of the read-in files is less than the total number of the files, the data of the second line is read, the step S25 is returned to modify the tb parameter, the operations of the steps S25-S27 are repeated in sequence until all the image data are read in by the CABAC module and run simulation, and the shell script exits execution;
s3, controlling input image data of the CABAC module;
the data folder stores all image data to be input into the CABAC module, and each image data is stored in an independent txt or dat file to be used as the input of the CABAC module;
and S4, controlling the output data comparison result of the CABAC module and the operation process of the simulator.
The shell script in the step S1 is used to detect a data file in a data folder, and as shown in fig. 2, image data is sent to a testbench to provide input to the CABAC module, and the shell script controls the simulation process.
The locating path in the step S21 is an absolute path for judging the entire verification environment, so as to find files under other paths through the absolute path.
The step S22 of checking the data folder means that the shell script enters a data folder path, and all data file names in the data folder path are collected in an input _ temp file, and all files in the input _ temp file path are regarded as available CABAC module inputs.
The step S23 is to check the ref folder, where the shell script enters the ref folder path, and collect all data file names in the ref folder path into a ref _ temp file, where all the files in the ref _ temp file path are regarded as the CABAC module-usable reference output data.
The valid input judgment in the step S24 means that the shell script reads the input _ temp file and the ref _ temp file, and maps the relationship between the image data in the data folder path and the image data in the ref folder path.
The modified tb parameter in step S25 indicates that the shell script enters the tb folder path, and modifies the file name read in by the stimulus generation module and the comparator module.
The output data of the CABAC module of the S4 step is used as input data of a comparator that compares results one by reading a standard input of corresponding image data of a ref folder; and when the comparison result is not in accordance with the log file, the comparator generates a log file corresponding to the image data, the error information is printed, the error information of different image data is stored in different files, and the error information is identified by file names and stored in an output folder.
The shell script control simulation process comprises starting a shell script to simulate and carrying out continuous image data input verification;
the shell is the outermost layer of the operating system, can incorporate programming languages to control processes and files, as well as to launch and control other programs, and is a command interpreter for user interaction with the operating system. Aiming at the verification method of the CABAC continuous image of H.265, the shell is used for compiling the script, and in fact, the manual process operation during the CABAC module function verification, such as opening a designated folder, checking image data, designating input, setting parameters, starting simulation and the like, is realized in a code mode, the shell script can judge the verification environment state according to the process and interacts with an operating system, so that the manpower is saved, repeated and complicated operations are omitted, both hands are liberated, the quality and the efficiency of logic code development are improved, and the development cost is reduced.
The step of running simulation of the makefile script in the step S4 includes starting the makefile script to perform simulation, and specifying specific image data as input for verification.
The invention also provides another simulation operation mode, if only a certain specified file of the image data is to be operated as the input simulation, the tb parameter can be manually modified, the make command is directly executed under the sim folder, and the processing result of the file of the image data is obtained after the simulation is finished.
Example (b):
the following describes the design and advantages of the CABAC continuous image verification method for h.265 according to the present invention in detail by using an embodiment.
And (3) putting 50 image data files under a data folder, putting a corresponding reference output file under a ref folder, entering a script folder to run a shell script, and waiting for the script to run completely.
And after the shell script is operated, checking an output result file in the output folder, and analyzing a result.
Through practical tests, the verification method for the H.265 CABAC continuous images can automatically realize the verification of the H.265 CABAC module continuous images, compared with manual operation, the method can save a large amount of manual operation time, has clear results, is easy to search and analyze, avoids manual operation errors, and improves the overall efficiency.
Compared with the prior art, the invention has the beneficial effects that:
the method uses the shell to compile the script, realizes the artificial flow operation during the verification of the CABAC module function, such as opening a designated folder, checking image data, designating input, setting parameters, starting simulation and the like in a code mode, judges the verification environment state according to the process by the shell script, and interacts with an operating system, thereby saving manpower, saving repeated and complicated operation, liberating two hands, improving the quality and the efficiency of logic code development, and reducing the development cost.
So far, the technical solutions of the present invention have been described in connection with the preferred embodiments shown in the drawings, but it is easily understood by those skilled in the art that the scope of the present invention is obviously not limited to these specific embodiments. Without departing from the principle of the invention, a person skilled in the art can make the same changes or substitutions on the related technical features, and the technical solutions after the changes or substitutions will fall within the protection scope of the invention.
The above description is only a preferred embodiment of the present invention and is not intended to limit the present invention; various modifications and alterations to this invention will become apparent to those skilled in the art. Any modification, substitution and improvement made within the spirit and principle of the present invention shall fall within the protection scope of the present invention.
Claims (5)
1. A verification method for CABAC continuous images of H.265 is characterized by comprising the following steps:
s1, specifying the construction level of the verification environment on the linux platform, and sequentially comprising the following steps:
the du, sim, tb, script, output, data and ref folders;
the dut folder stores a complete CABAC module design code and collects filelist files of all design file names;
the sim folder stores makefile scripts and various log information generated in the working process of the compiler;
the tb folder stores comparator codes and other hdl codes of the building environment;
the script file folder stores shell scripts;
the output folder stores the comparison result;
the data folder stores all image data to be input into the CABAC module, and each image data is stored in an independent txt or dat file to be used as the input of the CABAC module;
the ref folder stores a reference result obtained by running a reference model;
s2, matching the shell script and the makefile script to realize control of the verification environment after the hierarchy is built, and the method comprises the following steps:
s21, positioning a path;
the positioning path is an absolute path for judging the whole verification environment, so that files under other paths can be conveniently searched through the absolute path;
s22, checking a data folder;
the data folder checking means that a shell script enters a data folder path, all data file names under the data folder path are collected in an input _ temp file, and all files under the input _ temp file path are regarded as available CABAC module input;
s23, checking a ref folder;
the ref folder is checked, that is, a shell script enters a ref folder path, all data file names under the ref folder path are collected in a ref _ temp file, and all files under the ref _ temp file path are regarded as reference output data of an available CABAC module;
s24, judging effective input;
the effective input judgment means that a shell script reads an input _ temp file and a ref _ temp file, and maps the relationship between image data under a data folder path and image data under a ref folder path;
s25, modifying the tb parameter;
the modified tb parameter indicates that the shell script enters a tb folder path, and the file name read in by the excitation generation module and the comparator module is modified;
s26, calling makefile script;
the calling makefile script means that the makefile script under the sim folder is called when the shell script is executed to the step S26;
the makefile script indicates compiling and simulating commands of all design rtls and tb environment rtls, design compiling is completed by inputting a specified make instruction, and the makefile script runs a simulating step;
the calling makefile script comprises simulator compiling and simulator simulating;
the simulator compiling means that the makefile script executes an rtl compiling command to compile the whole testbench;
the simulator simulation means that the makefile script executes a simulation running command, and after the start of simulation is started, the comparator can continuously judge whether the output data of the CABAC module is consistent with the reference data;
s27, judging the input quantity;
judging the input quantity, namely judging whether all files in input _ temp are read in and running the simulation by the shell script after the simulation is finished, if the shell script judges that the number of the read-in files is less than the total number of the files, returning to the step S25 to modify the tb parameter, and repeating the operations of the steps S25-S27 in sequence until all image data are read in by the CABAC module and running the simulation finally, and the shell script quits to be executed;
s3, controlling input image data of the CABAC module;
and S4, controlling the output data comparison result of the CABAC module and the operation process of the simulator.
2. The verification method according to claim 1, wherein the shell script of the step S1 is used to detect data files in a data folder, send image data to testbench, and provide input to the CABAC module, and the shell script controls the simulation process.
3. The authentication method according to claim 1, wherein the output data of the CABAC module of the step S4 is used as input data of a comparator that compares results one by reading a standard input of corresponding image data of a ref folder; and when the comparison result is not in accordance with the log file, the comparator generates a log file corresponding to the image data, the error information is printed, the error information of different image data is stored in different files, and the error information is identified by file names and stored in an output folder.
4. The verification method of claim 2, wherein the shell script controls the simulation process to include launching the shell script to simulate for continuous image data input verification.
5. The verification method according to claim 1, wherein the step of running a simulation by the makefile script in the step S26 includes starting the makefile script to simulate, and specifying specific image data as input for verification.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110370606.4A CN113032274B (en) | 2021-04-07 | 2021-04-07 | Method for verifying CABAC (context-based adaptive binary arithmetic coding) continuous image aiming at H.265 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110370606.4A CN113032274B (en) | 2021-04-07 | 2021-04-07 | Method for verifying CABAC (context-based adaptive binary arithmetic coding) continuous image aiming at H.265 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN113032274A CN113032274A (en) | 2021-06-25 |
| CN113032274B true CN113032274B (en) | 2021-09-10 |
Family
ID=76453926
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110370606.4A Active CN113032274B (en) | 2021-04-07 | 2021-04-07 | Method for verifying CABAC (context-based adaptive binary arithmetic coding) continuous image aiming at H.265 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN113032274B (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN115840828B (en) * | 2023-02-13 | 2023-06-06 | 湖北芯擎科技有限公司 | Image comparison display method, device, equipment and medium |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100644713B1 (en) * | 2005-10-31 | 2006-11-10 | 삼성전자주식회사 | Method of decoding syntax element in cabac decoder and decoding apparatus therefor |
| CN106851276A (en) * | 2017-02-09 | 2017-06-13 | 西安电子科技大学 | A kind of CABAC streamline coding methods realized based on Vivado HLS |
Family Cites Families (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5600579A (en) * | 1994-07-08 | 1997-02-04 | Apple Computer, Inc. | Hardware simulation and design verification system and method |
| CN1856099A (en) * | 2005-04-29 | 2006-11-01 | 王云川 | Encoding/decoding device for TV set for Internet |
| US8782379B2 (en) * | 2007-09-27 | 2014-07-15 | Qualcomm Incorporated | H.264 video decoder CABAC core optimization techniques |
| US8885714B2 (en) * | 2010-01-14 | 2014-11-11 | Texas Instruments Incorporated | Method and system for intracoding in video encoding |
| CN102156784B (en) * | 2011-04-18 | 2013-01-02 | 烽火通信科技股份有限公司 | Verifying environment patterned chip verifying method and device |
| EP2600531A1 (en) * | 2011-12-01 | 2013-06-05 | Thomson Licensing | Method for determining a modifiable element in a coded bit-stream and associated device |
| CN102622471B (en) * | 2012-02-22 | 2014-07-09 | 山东华芯半导体有限公司 | Integrated circuit front-end verification method |
| JP6151909B2 (en) * | 2012-12-12 | 2017-06-21 | キヤノン株式会社 | Moving picture coding apparatus, method and program |
| CN106528363B (en) * | 2015-09-14 | 2019-03-12 | 深圳市博巨兴实业发展有限公司 | A kind of verification method and device of Hardware/Software Collaborative Design |
| CN110347542A (en) * | 2019-05-31 | 2019-10-18 | 北京华捷艾米科技有限公司 | A kind of port connection method, system and medium improving verification environment reusability |
| CN110855634A (en) * | 2019-10-24 | 2020-02-28 | 北京电信易通信息技术股份有限公司 | Cross-network switching service system and method based on secure network |
-
2021
- 2021-04-07 CN CN202110370606.4A patent/CN113032274B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR100644713B1 (en) * | 2005-10-31 | 2006-11-10 | 삼성전자주식회사 | Method of decoding syntax element in cabac decoder and decoding apparatus therefor |
| CN106851276A (en) * | 2017-02-09 | 2017-06-13 | 西安电子科技大学 | A kind of CABAC streamline coding methods realized based on Vivado HLS |
Also Published As
| Publication number | Publication date |
|---|---|
| CN113032274A (en) | 2021-06-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN115841089B (en) | System-level chip verification platform and verification method based on UVM | |
| US6871298B1 (en) | Method and apparatus that simulates the execution of paralled instructions in processor functional verification testing | |
| EP0453394B1 (en) | Dynamic process for the generation of biased pseudo-random test patterns for the functional verification of hardware designs | |
| US20050039174A1 (en) | Apparatus and method for co-simulating processors and DUT modules | |
| Wolf | Behavioral intervals in embedded software: timing and power analysis of embedded real-time software processes | |
| CN109189479B (en) | Parallel automatic verification method for processor instruction set | |
| CN107480327B (en) | Simulation verification method and device and electronic equipment | |
| US20020152061A1 (en) | Data processing system and design system | |
| CN113297073B (en) | Verification method, device and equipment of algorithm module in chip and readable storage medium | |
| CN115828839A (en) | System-level verification system and method for SOC (System on chip) | |
| CN109783340B (en) | SoC test code programming method, IP test method and device | |
| CN102521444A (en) | Cooperative simulation/verification method and device for software and hardware | |
| JPH11513512A (en) | Method of manufacturing digital signal processor | |
| CN111221693B (en) | Verification method, system, device and storage medium for NOR flash configuration module | |
| CN106980597A (en) | Verification of System-On-a-Chip method and checking system | |
| JP5200675B2 (en) | SIMULATION DEVICE, SIMULATION METHOD, SIMULATION PROGRAM, AND COMPUTER-READABLE RECORDING MEDIUM CONTAINING THE PROGRAM | |
| CN116341428B (en) | Method for constructing reference model, chip verification method and system | |
| CN108073738B (en) | GPIO (general purpose input/output) verification system and method | |
| CN113032274B (en) | Method for verifying CABAC (context-based adaptive binary arithmetic coding) continuous image aiming at H.265 | |
| CN114139475A (en) | Chip verification method, system, device and storage medium | |
| US7085964B2 (en) | Dynamic test program generator for VLIW simulation | |
| CN115438610A (en) | Method, system, device and medium for analyzing performance of graphical high-level integrated circuit | |
| US20070282589A1 (en) | Method and apparatus for synchronizing processors in a hardware emulation system | |
| US20070271080A1 (en) | Model generation method for software/hardware collaboration design | |
| CN110955605A (en) | Method for verifying single step dynamic execution by CPU |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |