Advanced verification techniques : a systemC based approach by Leena Singh

By Leena Singh

"As chip measurement and complexity keeps to develop exponentially, the demanding situations of practical verification have gotten a serious factor within the electronics undefined. it truly is now often heard that logical mistakes neglected in the course of useful verification are the commonest explanation for chip re-spins, and that the prices linked to sensible verification at the moment are outweighing the prices of chip layout. to deal with those demanding situations engineers are more and more hoping on new layout and verification methodologies and languages.  Transaction-based layout and verification, limited random stimulus iteration, useful assurance research, and assertion-based verification are all ideas that complicated layout and verification groups typically use at the present time. Engineers also are more and more turning to layout and verification types in accordance with C/C++ and SystemC that allows you to construct extra summary, greater functionality and software program versions and to flee the restrictions of RTL HDLs. This new booklet, complex Verification Techniques, provides particular suggestions for those complex verification ideas. The publication comprises reasonable examples and exhibits how SystemC and SCV may be utilized to quite a few complicated layout and verification tasks."
                                                                                     - Stuart Swan

Show description

Read Online or Download Advanced verification techniques : a systemC based approach for successful tapeout PDF

Similar cad books

Computational Methods and Experiments in Materials Characterisation III

Comprises papers offered on the 3rd foreign convention on Computational tools and Experiments in fabrics Characterisation, held in Bologna, Italy, June 13-15, 2007. Featured themes: Microstructures novel composite fabrics; Microstructures ceramics and complex fabrics; Microstructures alloys; Microstructures cements and cement dependent fabrics; Experimental tools imaging and research; Experimental tools thermal research; Experimental equipment mechanical characterisation and checking out; Experimental tools new equipment; Computational equipment discrete computational tools; Computational equipment harm mechanics; Computational equipment leading edge suggestions

Processor and System-on-Chip Simulation

Processor and System-on-Chip Simulation Edited through: Rainer Leupers Olivier Temam the present development from monolithic processors to multicore and multiprocessor structures on chips (MPSoC) with tens of cores and gigascale integration makes structure and software program layout increasingly more advanced and dear.

Advanced verification techniques : a systemC based approach for successful tapeout

"As chip dimension and complexity maintains to develop exponentially, the demanding situations of practical verification have gotten a severe factor within the electronics undefined. it's now in general heard that logical mistakes overlooked in the course of practical verification are the commonest reason for chip re-spins, and that the prices linked to sensible verification at the moment are outweighing the prices of chip layout.

Creo Parametric Milling

The ebook makes a speciality of milling machining with vertical machining heart, in addition to simple milling and 3-axis floor milling. an intensive consultant for studying easy methods to use the Creo Parametric software program for 3D layout for production. layout for manufacturability, DFM, is a product layout strategy that allows effective production of goods.

Extra resources for Advanced verification techniques : a systemC based approach for successful tapeout

Sample text

It feeds into a four channel DMA block using FIFO’s for flow control. All of the blocks are connected to an AHB bus. The software executing on the micro-controller takes the Ethernet packets and uses DMA transfers to send the data to the rest of the system for processing. The design within a system configuration is shown in Figure 1-5. Figure 1-3. System configuration for multimedia design The functional blocks within the design are shown in Figure 1-6. These components provide the functionality to receive encrypted JPEG data through industry 16 Advanced Verification Techniques defined interfaces (Ethernet)‚ decrypt the JPEG Data through the DES Block‚ decompress the JPEG file and display through the VGA interface.

12 Functional Coverage Functional Coverage is the determination of how much functionality of a design has been exercised by a verification environment. It requires the development of a list of functionality to be checked, the collection of data that shows the functionality of concern being exercised, and the analysis of the collected data. Functional coverage doesn’t prove that the design properly executed the function, just that it was exercised. It is the job of the testbench to prove proper execution.

A thread of activity is started by using the SC_THREAD macro. SCV then adds coordination facilities such as mutexs, semaphores, and mailboxes. Data Structures are needed for stimulus generation and checking. All interfaces today require multiple data fields to be driven. For example, an ethernet packet requires a type, a length, a source address, a destination address, etc. It is much easier to create a software “struct” to capture and manipulate these fields then to create signals in an HDL and try to stretch the language to manipulate the signals.

Download PDF sample

Rated 4.27 of 5 – based on 14 votes
Categories Cad