Design and implementation of a Test Coverage Algorithm for verification and validation of a processor IP core

This project aims at verification and validation of IP core using software to automatically generate the test suite to cover all possible test cases of a processor IP core. A case study is being taken with an open source processor IP core CPU86 implemented in Very high speed integrated circuit Hardw...

Full description

Saved in:
Bibliographic Details
Published in2016 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT) pp. 652 - 656
Main Authors Prasanna, Kumar N., Yellampalli, Siva, Chetwani, Rajiv R.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2016
Subjects
Online AccessGet full text
DOI10.1109/ICATCCT.2016.7912081

Cover

Abstract This project aims at verification and validation of IP core using software to automatically generate the test suite to cover all possible test cases of a processor IP core. A case study is being taken with an open source processor IP core CPU86 implemented in Very high speed integrated circuit Hardware Description Language (VHDL). The in-house developed Test Coverage Algorithm is used to generate the test cases for CPU86 processor IP core. The test case in the form of the code snippet is converted to processor readable code using certified assembler and is subjected to the verification and validation through simulation by EDA tools. This project directly helps in overcoming obsolescence of radiation hardened processor by using the validated processor IP core fused on FPGA.
AbstractList This project aims at verification and validation of IP core using software to automatically generate the test suite to cover all possible test cases of a processor IP core. A case study is being taken with an open source processor IP core CPU86 implemented in Very high speed integrated circuit Hardware Description Language (VHDL). The in-house developed Test Coverage Algorithm is used to generate the test cases for CPU86 processor IP core. The test case in the form of the code snippet is converted to processor readable code using certified assembler and is subjected to the verification and validation through simulation by EDA tools. This project directly helps in overcoming obsolescence of radiation hardened processor by using the validated processor IP core fused on FPGA.
Author Chetwani, Rajiv R.
Yellampalli, Siva
Prasanna, Kumar N.
Author_xml – sequence: 1
  givenname: Kumar N.
  surname: Prasanna
  fullname: Prasanna, Kumar N.
  email: prasanna_dmn@yahoo.co.in
  organization: ISRO Satellite Centre, Bangalore, India
– sequence: 2
  givenname: Siva
  surname: Yellampalli
  fullname: Yellampalli, Siva
  email: siva.yellampalli@utltraining.com
  organization: VTU Extension Centre, UTL Technol. Ltd., Bangalore, India
– sequence: 3
  givenname: Rajiv R.
  surname: Chetwani
  fullname: Chetwani, Rajiv R.
  email: rajiv@isac.gov.in
  organization: SQAD, ISRO Satellite Centre, Bangalore, India
BookMark eNpNkMtqwzAQRVVoF03aL2gX-gG7o5FfWgb3kUCgXXgfZHnkCmzJyCbQv69LsuhiGBjOPQx3w2598MTYs4BUCFAvh3rX1HWTIogiLZVAqMQN24gcFKBUCu_Z-Eqz6z3XvuNunAYayS96ccHzYLnmDc0Lr8OZou6J74Y-RLd8j9yGyNejs85c6D_BWQ-u-xeeYjA0zyt6-OImRHpgd1YPMz1e95Y1729NvU-Onx_rs8fEKVgSQzorESDHCjCT2KIBuU6HnbRQYCFKocBWqqUqb2WhusyYQq5Qa9CURm7Z00XriOg0RTfq-HO6FiB_AYd2Vho
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ICATCCT.2016.7912081
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 1509023992
9781509023998
EndPage 656
ExternalDocumentID 7912081
Genre orig-research
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i90t-cea4720052802432b2c032c0d2d3f062617190f89be85b369d4cc63c03bc2c7c3
IEDL.DBID RIE
IngestDate Thu Jun 29 18:37:48 EDT 2023
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-cea4720052802432b2c032c0d2d3f062617190f89be85b369d4cc63c03bc2c7c3
PageCount 5
ParticipantIDs ieee_primary_7912081
PublicationCentury 2000
PublicationDate 20160000
PublicationDateYYYYMMDD 2016-01-01
PublicationDate_xml – year: 2016
  text: 20160000
PublicationDecade 2010
PublicationTitle 2016 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT)
PublicationTitleAbbrev ICATCCT
PublicationYear 2016
Publisher IEEE
Publisher_xml – name: IEEE
Score 1.630056
Snippet This project aims at verification and validation of IP core using software to automatically generate the test suite to cover all possible test cases of a...
SourceID ieee
SourceType Publisher
StartPage 652
SubjectTerms EDA Tools
Field programmable gate arrays
FPGA
Instruction sets
IP core
IP networks
Radiation hardening (electronics)
Registers
Software algorithms
Verification and Validation
VHDL
Title Design and implementation of a Test Coverage Algorithm for verification and validation of a processor IP core
URI https://ieeexplore.ieee.org/document/7912081
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELZKJyZALeItD4wkjZ3EdkYUqApSUYcgdav8CkTQpKrShV-PL0nLQwwMkSLr4kR3ke90_r7PCF0TTRh3edOzIVFeRA0c5K61F8eSx1AwCwP9jukTmzxHj_N43kM3Oy6MtbYBn1kfbpu9fFPpDbTKRjwhNACe9R4XrOVqdWw4EiQjYN6maQZwLeZ3pj_OTGlSxvgATbcva5Eib_6mVr7--KXD-N-vOUTDL3Ienu3SzhHq2XKAlncNEgPL0uBiucWEg9NxlWOJM7f44xTgmm79wLfvL9W6qF-X2JWs2A0CXqi1hgncz1eYbw-vWjKBM32YYZC9HKJsfJ-lE687ScErkqD2tJURbySWBAgQUkV1ELrLUBPmAQNRdlcX5CJRVsQqZIlx4WKhM1Kaaq7DY9Qvq9KeIGyhBSGlpjIkkdREKOsmyAU3AddMqVM0AE8tVq1WxqJz0tnfw-doH6LVtjQuUL9eb-ylS_K1umqi-wmdhKkw
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELaqMsAEqEW88cBI0sR2XiMKVC20VYcgdav8CkS0SVWlC78eX5KWhxgYIkXWxYnuIt_p_H2fEbp1pesHJm9amrrCYkTBQe5SWp7HAw8K5lBBv2M88Qcv7GnmzVrobseF0VpX4DNtw221l68KuYFWWS-IXOIAz3rPY4x5NVur4cO5TtQD7m0cJwDY8u3G-MepKVXS6B-i8fZ1NVbk3d6UwpYfv5QY__s9R6j7Rc_D013iOUYtnXfQ8qHCYmCeK5wtt6hwcDsuUsxxYpZ_HANg06wg-H7xWqyz8m2JTdGKzSAghmprmMD8fpn69vCqphMY0-EUg_BlFyX9xyQeWM1ZClYWOaUlNWdBJbIUggQhEUQ61FyKKJo6Psiym8ogDSOhQ09QP1ImYD41RkISGUh6gtp5ketThDU0ITiXhFOXcemGQpsJ0jBQTiB9Ic5QBzw1X9VqGfPGSed_D9-g_UEyHs1Hw8nzBTqAyNUNjkvULtcbfWVSfimuq0h_AqVgrH0
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2016+2nd+International+Conference+on+Applied+and+Theoretical+Computing+and+Communication+Technology+%28iCATccT%29&rft.atitle=Design+and+implementation+of+a+Test+Coverage+Algorithm+for+verification+and+validation+of+a+processor+IP+core&rft.au=Prasanna%2C+Kumar+N.&rft.au=Yellampalli%2C+Siva&rft.au=Chetwani%2C+Rajiv+R.&rft.date=2016-01-01&rft.pub=IEEE&rft.spage=652&rft.epage=656&rft_id=info:doi/10.1109%2FICATCCT.2016.7912081&rft.externalDocID=7912081