A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification
<p dir="ltr">The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical. Assertion Based Verification (ABV) is a renowned paradigm t...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , , , |
| Published: |
2020
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513505600733184 |
|---|---|
| author | Muhammad Waseem Anwar (9316557) |
| author2 | Muhammad Rashid (2836613) Farooque Azam (9316554) Aamir Naeem (19672540) Muhammad Kashif (3923483) Wasi Haider Butt (2852081) |
| author2_role | author author author author author |
| author_facet | Muhammad Waseem Anwar (9316557) Muhammad Rashid (2836613) Farooque Azam (9316554) Aamir Naeem (19672540) Muhammad Kashif (3923483) Wasi Haider Butt (2852081) |
| author_role | author |
| dc.creator.none.fl_str_mv | Muhammad Waseem Anwar (9316557) Muhammad Rashid (2836613) Farooque Azam (9316554) Aamir Naeem (19672540) Muhammad Kashif (3923483) Wasi Haider Butt (2852081) |
| dc.date.none.fl_str_mv | 2020-06-02T06:00:00Z |
| dc.identifier.none.fl_str_mv | 10.1109/access.2020.2999544 |
| dc.relation.none.fl_str_mv | https://figshare.com/articles/journal_contribution/A_Unified_Model-Based_Framework_for_the_Simplified_Execution_of_Static_and_Dynamic_Assertion-Based_Verification/27021529 |
| dc.rights.none.fl_str_mv | CC BY 4.0 info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Engineering Communications engineering Information and computing sciences Information systems Assertion based verification computation tree logic embedded systems model based system engineering systemverilog assertions timed automata unified modeling language (UML) Unified modeling language Automata Computational modeling Embedded systems System analysis and design Productivity Vehicle dynamics |
| dc.title.none.fl_str_mv | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| dc.type.none.fl_str_mv | Text Journal contribution info:eu-repo/semantics/publishedVersion text contribution to journal |
| description | <p dir="ltr">The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical. Assertion Based Verification (ABV) is a renowned paradigm to timely achieve an optimum test coverage, either through static or dynamic techniques. However, the major limitation with ABV is its inherited low-level implementation complexity. In order to simplify its execution, various Model Based System Engineering approaches provide a higher abstraction layer. Nevertheless, the complete verification requirements, targeting the static as well as dynamic ABV at the same time in a unified framework, are not being addressed. Furthermore, the dynamic verification support is provided through some traditional languages (like C, Verilog) where the advanced ABV features cannot be exploited. Consequently, this article introduces the MODEVES ( MO del-based DE sign V erification for E mbedded S ystems) framework to simultaneously support the static and dynamic ABV. Particularly, the UML (Unified Modeling Language) and SysML (Systems Modeling Language) diagrams are used to model the structural and behavioral requirements. Moreover, the NLCTL (Natural Language for Computation Tree Logic) is proposed to include the verification requirements for static ABV while the SVOCL (SystemVerilog in Object Constraint Language) is used to represent the dynamic verification constraints. An open source transformation engine is developed to automatically generate the SystemVerilog Register Transfer Level (RTL) code, Timed Automata model, SystemVerilog assertions and Computation Tree Logic (CTL) assertions with minimum transformation losses. The significance of the MODEVES framework is established through several case studies and the quantitative analysis shows an improvement of almost 100% in design productivity, as compared to the conventional low-level implementations.</p><h2>Other Information</h2><p dir="ltr">Published in: IEEE Access<br>License: <a href="https://creativecommons.org/licenses/by/4.0/deed.en" target="_blank">https://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1109/access.2020.2999544" target="_blank">https://dx.doi.org/10.1109/access.2020.2999544</a></p> |
| eu_rights_str_mv | openAccess |
| id | Manara2_2cc7ca08872bff59ed679540a055a65c |
| identifier_str_mv | 10.1109/access.2020.2999544 |
| network_acronym_str | Manara2 |
| network_name_str | Manara2 |
| oai_identifier_str | oai:figshare.com:article/27021529 |
| publishDate | 2020 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | CC BY 4.0 |
| spelling | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based VerificationMuhammad Waseem Anwar (9316557)Muhammad Rashid (2836613)Farooque Azam (9316554)Aamir Naeem (19672540)Muhammad Kashif (3923483)Wasi Haider Butt (2852081)EngineeringCommunications engineeringInformation and computing sciencesInformation systemsAssertion based verificationcomputation tree logicembedded systemsmodel based system engineeringsystemverilog assertionstimed automataunified modeling language (UML)Unified modeling languageAutomataComputational modelingEmbedded systemsSystem analysis and designProductivityVehicle dynamics<p dir="ltr">The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical. Assertion Based Verification (ABV) is a renowned paradigm to timely achieve an optimum test coverage, either through static or dynamic techniques. However, the major limitation with ABV is its inherited low-level implementation complexity. In order to simplify its execution, various Model Based System Engineering approaches provide a higher abstraction layer. Nevertheless, the complete verification requirements, targeting the static as well as dynamic ABV at the same time in a unified framework, are not being addressed. Furthermore, the dynamic verification support is provided through some traditional languages (like C, Verilog) where the advanced ABV features cannot be exploited. Consequently, this article introduces the MODEVES ( MO del-based DE sign V erification for E mbedded S ystems) framework to simultaneously support the static and dynamic ABV. Particularly, the UML (Unified Modeling Language) and SysML (Systems Modeling Language) diagrams are used to model the structural and behavioral requirements. Moreover, the NLCTL (Natural Language for Computation Tree Logic) is proposed to include the verification requirements for static ABV while the SVOCL (SystemVerilog in Object Constraint Language) is used to represent the dynamic verification constraints. An open source transformation engine is developed to automatically generate the SystemVerilog Register Transfer Level (RTL) code, Timed Automata model, SystemVerilog assertions and Computation Tree Logic (CTL) assertions with minimum transformation losses. The significance of the MODEVES framework is established through several case studies and the quantitative analysis shows an improvement of almost 100% in design productivity, as compared to the conventional low-level implementations.</p><h2>Other Information</h2><p dir="ltr">Published in: IEEE Access<br>License: <a href="https://creativecommons.org/licenses/by/4.0/deed.en" target="_blank">https://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1109/access.2020.2999544" target="_blank">https://dx.doi.org/10.1109/access.2020.2999544</a></p>2020-06-02T06:00:00ZTextJournal contributioninfo:eu-repo/semantics/publishedVersiontextcontribution to journal10.1109/access.2020.2999544https://figshare.com/articles/journal_contribution/A_Unified_Model-Based_Framework_for_the_Simplified_Execution_of_Static_and_Dynamic_Assertion-Based_Verification/27021529CC BY 4.0info:eu-repo/semantics/openAccessoai:figshare.com:article/270215292020-06-02T06:00:00Z |
| spellingShingle | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification Muhammad Waseem Anwar (9316557) Engineering Communications engineering Information and computing sciences Information systems Assertion based verification computation tree logic embedded systems model based system engineering systemverilog assertions timed automata unified modeling language (UML) Unified modeling language Automata Computational modeling Embedded systems System analysis and design Productivity Vehicle dynamics |
| status_str | publishedVersion |
| title | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| title_full | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| title_fullStr | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| title_full_unstemmed | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| title_short | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| title_sort | A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification |
| topic | Engineering Communications engineering Information and computing sciences Information systems Assertion based verification computation tree logic embedded systems model based system engineering systemverilog assertions timed automata unified modeling language (UML) Unified modeling language Automata Computational modeling Embedded systems System analysis and design Productivity Vehicle dynamics |