Discrete cosine transform: algorithms, advantages, applications
Discrete cosine transform: algorithms, advantages, applications
Functional verification methodology for the PowerPC 604 microprocessor
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Writing Testbenches: Functional Verification of HDL Models, Second Edition
Writing Testbenches: Functional Verification of HDL Models, Second Edition
An automatic testbench generation tool for a SystemC functional verification methodology
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
Hi-index | 0.00 |
The advent of the new VLSI technology and SoC design methodologies has brought about an explosive growth to the complexity of modern electronic circuits. As a result, functional verification has become a major bottleneck in any digital design flow. Functional verification has two major problems: choose good stimuli and measure coverage. This paper present a movie generator called RandMovie used together with a coverage library in order to implement a generator capable of producing a synthetic random constrained movie. With such a movie generator one is capable of generating good random constrained movies, increasing coverage and simulating all specified functionalities. A case study for an MPEG-4 decoder design has been used to demonstrate the effectiveness of this approach.