Functional and Assertion Based Verification of Audio Echo Effect Unit
Journal Title: International Journal of engineering Research and Applications - Year 2018, Vol 8, Issue 7
Abstract
The aspect ratio of MOS (Metal oxide semiconductor) Transistors are scaling down, designer are able to put more circuit with various functionality on a single die. This made design and verification process complex. If we consider today’s system on chip (SOC) design, it is impossible to check all possible combination of input on design. To verify complex design successfully various verification techniques are exists. Successful verification is very much required for design signoff. There are various verification techniques like functional verification, equivalence checking, model checking, code and functional coverage, Assertion based verification are employed in verification process. In this paper, the sub modules such as Counter, Subtractor, Multiplexer, Memory unit and a Multiplier is designed and verified. Using these sub modules the top module for audio echo effect unit is designed and verified with test benches (functional). The Assertion based verification is performed on the top module.
Authors and Affiliations
Sreevani Nanjuri N, Nagesh . K. N, Yaseen Basha
Keywords
Related Articles
- EP ID EP394990
- DOI 10.9790/9622-0807040408.
- Views 126
- Downloads 0
Conceptual Design and Explanation of Magnetically Operated Solar Powered Engine
In today’s world, one of the major problems is pollution. More than 25-50% of the pollution are caused by automobiles. The increasing population and concurrently, the increasing usage of automobiles has resulted in more...
Different Types of Noise Attack based DWT-SVD Hybrid Technique for Watermarking
"Watermarking" is the process of hiding digital information in original data, to increases robustness and security using the different technique like Discrete Wavelet Transform (DWT) and Singular Value Decomposition (SVD...
Bijective Additive Singularity or Invertibility Preservers on Hermitian Matrices
Let M n be the set of all n x n complex matrices, and H n be all Hermitian matrices in M n .Suppose n 2 , is a bijective additive map on H n which maps the set of singular or invertible matrices into itself. Then th...
Survey on Different Methods of Digital Audio Watermarking
The significant progress of the technology gives the full access to the digital data for retransmitting and reproduction with comfort. Since the benefits of such progress is easily available, they equally immune to some...
Reliabilitystudy of Solar PV Power Production In Terms Of Weather Parameters Using Monte Carlo Simulation
In this study the comprehensive reliability in terms of clearness index for power production of HIT, amorphous silicon & multi-crystalline silicon (m-cSi) technologies has been analyzed. The energy estimation of these th...