Modelovanie vrstvy v PSL výrazu

[verma.ind]

Ahoj ... Môže mi niekto pomoct pri modelovaní vrstve PSL. Ktoré Verilog konštrukciu môžem použiť v vunit súbore PSL? Môžem použiť priradenie vyhlásenie vunit? Môžem použiť podmienený operátor v vunit súboru? Vďaka

 

[anssprasad]

Prosím, prejdite nasledujúce doc

 

[verma.ind]

môže niekto pomoct v poskytovaní stratégiu pre písanie tvrdenie v PSL pre kontrolu crc ...... Vďaka