| On the formal specification of digital systems |
|
 |
|
|
| Authors |
| | Skuratov A.K. |
| Date of publication |
| | 2021 |
| DOI |
| | 10.31114/2078-7707-2021-3-65-70 |
|
| Abstract |
| | A functional specification development for a digital special-ized system designs is considered. The main idea is the sub-sequent formation of a set of test examples for checking the correctness and debugging of the design specified by the hardware circuit diagram and the text of the software. It is assumed that the debugging process itself is carried out on a computer functional-logical model of a digital system design. A family of stationary dynamic systems with a finite-value representation of logical signals and continuous time is used as a model of a digital system hardware. The test examples generation for the design debugging is proposed to be car-ried out on the basis of the sequences of functions performed by the digital system when controlling the equipment. To form such sequences, it is proposed to use hierarchical Petri nets. |
| Keywords |
| | digital systems design debugging, functional-logic simula-tion, Petri nets, debugging test set generation, function set specification |
| Library reference |
| | Skuratov A.K. On the formal specification of digital systems // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2021. Issue 3. P. 65-70. doi:10.31114/2078-7707-2021-3-65-70 |
| URL of paper |
| | http://www.mes-conference.ru/data/year2021/pdf/D056.pdf |
