Study and Analysis of RTL Verification Tool
暂无分享,去创建一个
According to Moore's Law, number of transistors on chip doubles in every next two years, So the complexity of the circuit increases. So it needs to be careful in designing and verification. Register Transfer Level (RTL) designing and its verification is also most important part of circuit design. The intent behind verification is to check that design meets all system specification and requirements or not. It is important to verify RTL before simulation and synthesis the design because It save clock cycle and time of simulation. This paper is focused on the RTL verification tool, Such as HAL linting and Spyglass RTL signoff tool. This type of RTL verification is used to find bugs and error in design before synthesis. It is easy to debug RTL design and pinpoint the problem and their solution. It is important to identify design issues as early as possible before synthesis RTL design.
[1] Mandeep Kaur,et al. Study of Forward Error Correction using Reed—Solomon Codes , 2010 .
[2] Janick Bergeron,et al. Writing Testbenches: Functional Verification of HDL Models , 2000 .
[3] Elwyn R. Berlekamp,et al. Algebraic coding theory , 1984, McGraw-Hill series in systems science.
[4] Valeria Bertacco. Scalable Hardware Verification with Symbolic Simulation , 2006 .
[5] Fredrik Wickberg. HDL code analysis for ASICs in mobile systems , 2007 .