DSpace@nitr >
National Institue of Technology- Rourkela >
Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2080/1433

Full metadata record

DC FieldValueLanguage
contributor.authorJana, P K-
contributor.authorAcharya, D P-
contributor.editor-
contributor.editor-
date.accessioned2011-04-21T08:54:13Z-
date.available2011-04-21T08:54:13Z-
date.issued2011-04-
identifier.citationInternational Symposium on Devices Mems Intelligent Systems and Communication (ISDMISC-2011), Page. 220-223, April 12th – 14th, 2011, Sikkim.en
identifier.isbn978-93-80747-80-2-
identifier.issn0975-8887-
identifier.urihttp://hdl.handle.net/2080/1433-
descriptionCopyright belongs to proceeding publisheren
description.abstractThe Verification is a vital step of any ASIC development process. 8B/10B encoder is a very widely used block in communication systems. The RTL code of an 8B/10B encoder is simulated in Questasim environment. The 8B/10B encoder is put to formal verification process in this work. Coverage analysis gives a view of the efficiency of the code. The report of coverage analysis of 8B/10B encoder is presented in this work.en
format.extent728360 bytes-
format.mimetypeapplication/pdf-
language.isoen-
subject8b/10b encoder,en
subjectVerification,en
subjectCode coverageen
titleCoverage Analysis in the Verification of 8B/10B Encoderen
typeArticleen
Appears in Collections:Conference Papers

Files in This Item:

File Description SizeFormat
Coverage analysis.pdf660KbAdobe PDFView/Open

Show simple item record

All items in DSpace are protected by copyright, with all rights reserved.

 

Powered by DSpace Feedback