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...
        Saved in:
      
    
          | Published in | 2016 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT) pp. 652 - 656 | 
|---|---|
| Main Authors | , , | 
| Format | Conference Proceeding | 
| Language | English | 
| Published | 
            IEEE
    
        2016
     | 
| Subjects | |
| Online Access | Get full text | 
| DOI | 10.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 |