«…лишь недалекие люди боятся конкуренции, а люди подлинного творчества ценят общение с каждым талантом…» А. Бек, Талант.

PSL/A Practical Introduction to PSL/SERE Style

Материал из Wiki
Перейти к: навигация, поиск
PSL

Литература
Введение в PSL

* VHDL * OS-VVM * Co-Simulation *
Psl fig5.1.png
(i) SERE 5.1a matches both 1 and 2. SERE 5.1b matches 1, but not 2.
{(req out && !ack) ; (busy && !ack)[*] ; ack}                 (5.1a)
{(req out && !ack) ; (busy && !ack)[*] ; ack && !busy}        (5.1b)
Fig. 5.1: Two simple SEREs


Psl fig5.2.png


Psl fig5.4.png


Psl fig5.5.png


Psl fig5.6.png


Psl fig5.7.png


Psl fig5.8.png


Psl fig5.9.png


Psl fig5.10.png


Psl fig5.11.png


Psl fig5.12.png


Psl fig5.13.png


Psl fig5.14.png


Psl fig5.15.png


Psl fig5.16.png