PRALU language - the tool for verifying digital devices
The task of creating a testbench for functional verification is considered. This verification process establishes the reconvergence (equivalence) of the device specification and the register-transfer level (RTL) model - a logical network which was built in the synthesis process. In the UVM methodolo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2018-12-01
|
| Series: | Informatika |
| Subjects: | |
| Online Access: | https://inf.grid.by/jour/article/view/427 |
| _version_ | 1797877307218591744 |
|---|---|
| author | D. I. Cheremisinov |
| author_facet | D. I. Cheremisinov |
| author_sort | D. I. Cheremisinov |
| collection | DOAJ |
| description | The task of creating a testbench for functional verification is considered. This verification process establishes the reconvergence (equivalence) of the device specification and the register-transfer level (RTL) model - a logical network which was built in the synthesis process. In the UVM methodology, usually used in the modern design of digital devices for functional verification, a testing strategy, that determines the way in which a test case is constructed, is the random selection of space-driven constrained-random transaction-level self-checking testbenches. The rules and recommendations of UVM contain a standardized structure of the test bench, which is oriented towards the development of transformational devices. For the case where the model of the design is a behavior algorithm, it is proposed to build a testbench as a model of the environment of the design presented in the language of PRALU. The environment model of the developed device allows to avoid situations when the device under test is verified with sufficient coverage, but in an incomplete environment. The environment model on PRALU can be automatically converted into a transaction level model to develop a testbench in the simulator environment of the hardware description language. |
| first_indexed | 2024-04-10T02:16:04Z |
| format | Article |
| id | doaj.art-598310311121474e835c5ee504bc49ec |
| institution | Directory Open Access Journal |
| issn | 1816-0301 |
| language | Russian |
| last_indexed | 2024-04-10T02:16:04Z |
| publishDate | 2018-12-01 |
| publisher | The United Institute of Informatics Problems of the National Academy of Sciences of Belarus |
| record_format | Article |
| series | Informatika |
| spelling | doaj.art-598310311121474e835c5ee504bc49ec2023-03-13T08:32:20ZrusThe United Institute of Informatics Problems of the National Academy of Sciences of BelarusInformatika1816-03012018-12-011548698439PRALU language - the tool for verifying digital devicesD. I. Cheremisinov0The United Institute of Informatics Problems, National Academy of Sciences of BelarusThe task of creating a testbench for functional verification is considered. This verification process establishes the reconvergence (equivalence) of the device specification and the register-transfer level (RTL) model - a logical network which was built in the synthesis process. In the UVM methodology, usually used in the modern design of digital devices for functional verification, a testing strategy, that determines the way in which a test case is constructed, is the random selection of space-driven constrained-random transaction-level self-checking testbenches. The rules and recommendations of UVM contain a standardized structure of the test bench, which is oriented towards the development of transformational devices. For the case where the model of the design is a behavior algorithm, it is proposed to build a testbench as a model of the environment of the design presented in the language of PRALU. The environment model of the developed device allows to avoid situations when the device under test is verified with sufficient coverage, but in an incomplete environment. The environment model on PRALU can be automatically converted into a transaction level model to develop a testbench in the simulator environment of the hardware description language.https://inf.grid.by/jour/article/view/427hardware verificationtransaction-level modelreactive system testbenchpralu languagebarrier synchronization method |
| spellingShingle | D. I. Cheremisinov PRALU language - the tool for verifying digital devices Informatika hardware verification transaction-level model reactive system testbench pralu language barrier synchronization method |
| title | PRALU language - the tool for verifying digital devices |
| title_full | PRALU language - the tool for verifying digital devices |
| title_fullStr | PRALU language - the tool for verifying digital devices |
| title_full_unstemmed | PRALU language - the tool for verifying digital devices |
| title_short | PRALU language - the tool for verifying digital devices |
| title_sort | pralu language the tool for verifying digital devices |
| topic | hardware verification transaction-level model reactive system testbench pralu language barrier synchronization method |
| url | https://inf.grid.by/jour/article/view/427 |
| work_keys_str_mv | AT dicheremisinov pralulanguagethetoolforverifyingdigitaldevices |