Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract
This paper proposes a modeling and analysis technique to verify SoC address maps. The approach involves (i) modeling the specification and implementation address map using a unified graph model, and (ii) analysis of equivalence in terms of address maps between two such models. Using a state-of-the-a...
Gespeichert in:
| Veröffentlicht in: | Proceedings - Design, Automation, and Test in Europe Conference and Exhibition S. 1 - 2 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
EDAA
31.03.2025
|
| Schlagworte: | |
| ISSN: | 1558-1101 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | This paper proposes a modeling and analysis technique to verify SoC address maps. The approach involves (i) modeling the specification and implementation address map using a unified graph model, and (ii) analysis of equivalence in terms of address maps between two such models. Using a state-of-the-art mid-size SoC design, we demonstrate the proposed solution is able to analyze and verify address maps of complex SoC designs and to identify the causes of discrepancies. |
|---|---|
| AbstractList | This paper proposes a modeling and analysis technique to verify SoC address maps. The approach involves (i) modeling the specification and implementation address map using a unified graph model, and (ii) analysis of equivalence in terms of address maps between two such models. Using a state-of-the-art mid-size SoC design, we demonstrate the proposed solution is able to analyze and verify address maps of complex SoC designs and to identify the causes of discrepancies. |
| Author | Arts, Bas Mook, Niels De Kock, Erwin Van Deursen, Arie Chakraborty, Soham |
| Author_xml | – sequence: 1 givenname: Niels surname: Mook fullname: Mook, Niels email: niels.mook@nxp.com organization: NXP,Eindhoven,The Netherlands – sequence: 2 givenname: Erwin surname: De Kock fullname: De Kock, Erwin email: erwin.de.kock@nxp.com organization: NXP,Eindhoven,The Netherlands – sequence: 3 givenname: Bas surname: Arts fullname: Arts, Bas email: bas.arts@nxp.com organization: NXP,Eindhoven,The Netherlands – sequence: 4 givenname: Soham surname: Chakraborty fullname: Chakraborty, Soham email: s.s.chakraborty@tudelft.nl organization: Delft University of Technology,Delft,The Netherlands – sequence: 5 givenname: Arie surname: Van Deursen fullname: Van Deursen, Arie email: arie.vandeursen@tudelft.nl organization: Delft University of Technology,Delft,The Netherlands |
| BookMark | eNo10L1OwzAUQGGDQIIW3oDBL5Din9jJZYtKC0itGIhYKye-pkaJXewg0bcHCZjO9g1nRs5CDEgI5WwhJHC4vW_alS61qBeCCbXgDEAyDSdkJqEWuio5q07JJVeqLjhn_ILMcn5njCkp4JKM22hx8OGNmmBpE8xwzD7TFvt98B-fSF1MdNojXcc0moG-YvLO92byMdDo6MsxTzgWMRTLvT_QxtqEOdOtOeQ7uvqaMFj8cbs8JdNPV-TcmSHj9V_npF2v2uVjsXl-eFo2m8KDnApZG-Gc0k6AYVh2TmtgndUgZAe9rkTPK2ZA98ZakK5iYCSWlWMKFbclyDm5-WU9Iu4OyY8mHXf_a-Q3V8pcBQ |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.23919/DATE64628.2025.10993069 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library (IEL) (UW System Shared) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library (IEL) (UW System Shared) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISBN | 3982674107 9783982674100 |
| EISSN | 1558-1101 |
| EndPage | 2 |
| ExternalDocumentID | 10993069 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IH 6IK 6IL 6IN AAJGR AAWTH ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO FEDTE IEGSK IPLJI KZ1 LMP M43 OCL RIE RIL |
| ID | FETCH-LOGICAL-i93t-38a2ff56f29a0e4bf6690bd6923b9c672c170a96cadd93f709a3e47f05e51d493 |
| IEDL.DBID | RIE |
| IngestDate | Wed Aug 27 01:55:02 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i93t-38a2ff56f29a0e4bf6690bd6923b9c672c170a96cadd93f709a3e47f05e51d493 |
| PageCount | 2 |
| ParticipantIDs | ieee_primary_10993069 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-March-31 |
| PublicationDateYYYYMMDD | 2025-03-31 |
| PublicationDate_xml | – month: 03 year: 2025 text: 2025-March-31 day: 31 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings - Design, Automation, and Test in Europe Conference and Exhibition |
| PublicationTitleAbbrev | DATE |
| PublicationYear | 2025 |
| Publisher | EDAA |
| Publisher_xml | – name: EDAA |
| SSID | ssj0005329 |
| Score | 2.287362 |
| Snippet | This paper proposes a modeling and analysis technique to verify SoC address maps. The approach involves (i) modeling the specification and implementation... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Analytical models Europe Formal verification System-on-chip |
| Title | Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract |
| URI | https://ieeexplore.ieee.org/document/10993069 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELVoxQBLoRTxrRtY3ebTzo1VacUAVYcIdatsxxaVIKlKyu_HzgeFgYEtimJF8cnxu-d77wi5l4jShlZRbbikkY48alG-oEJEjr_ytOKVUPiJz-fJcomLRqxeaWG01lXxmR66y-osPyvUzlFlI3eKYyEudkiHc1aLtfb1HGGAdalOEKKPo4dxOmVOeWmTwCAetmN_dVGpNpFZ75-vPyGDvRwPFt8bzSk50Hmf9Np-DNAszz45_mEueEbeXZszJzYHkWfQmo9A2pq2goWrYOEfzBxsfYMXO840DB4UBmovc1rkdPK63sA4y1xmDs_CfgJMG-4cxtJxJaockHQ2TSePtGmuQNcYljRMRGBMzEyAwtORNMymyTJjFu9JVIwHyueeQKbs_w9Dwz0UoY648WId-1mE4Tnp5kWuLwgYtE94wuYxiYzQ19KYhJnEdzY6KJLgkgzcXK42tX3Gqp3Gqz_uX5MjF7Fa-HdDuuV2p2_Jofos1x_buyroX2eyrjg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED1BQQKWQinimxtYXfKd3FiVVkW0VYcIdavsxBaVIKlKyu_HThMKAwNbFMWSYyf2u-d77wDuBZHQU5swqULBPOlZTKN8zjj3DH9lySQshcKjcDKJZjOaVmL1UgsjpSyTz2THXJZn-WmerA1V9mBOcTTEpV3YM6WzKrnWNqPDdWiTrOO4ZNPDYzfuB0Z7qcNAx-_UrX_VUSm3kUHznx04hvZWkIfT763mBHZk1oJmXZEBqx-0BUc_7AVP4d0UOjNyc-RZirX9CMa1bStqwIoaAOLAANc3fNHtVMXhYa5w42bO8oz1XhdL7Kapic1xzPUrYL9iz7ErDFuSFG2IB_24N2RVeQW2ILdgbsQdpfxAOcQt6QkV6EBZpIFGfIKSIHQSO7Q4BYleAclVoUXclV6oLF_6duqRewaNLM_kOaAi_YTFdSQTCY9sKZSKAhXZxkiHeORcQNuM5Xy5MdCY18N4-cf9OzgYxuPRfPQ0eb6CQzN7GxngNTSK1VrewH7yWSw-VrflB_AFp8OxgQ |
| 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%3Ajournal&rft.genre=proceeding&rft.title=Proceedings+-+Design%2C+Automation%2C+and+Test+in+Europe+Conference+and+Exhibition&rft.atitle=Modeling+and+Analysis+Technique+for+the+Formal+Verification+of+System-on-Chip+Address+Maps%3A+Extended+Abstract&rft.au=Mook%2C+Niels&rft.au=De+Kock%2C+Erwin&rft.au=Arts%2C+Bas&rft.au=Chakraborty%2C+Soham&rft.date=2025-03-31&rft.pub=EDAA&rft.eissn=1558-1101&rft.spage=1&rft.epage=2&rft_id=info:doi/10.23919%2FDATE64628.2025.10993069&rft.externalDocID=10993069 |