To run PSL file

Coverage
,
1

Hi,
I am using student version of modelsim and Windows as my OS,
I am having PSL code embedded into VHDL code, but PSL has been written with comment section so can anyone please help me in executing it ?
I want to observe its effect
also if would be good if some one can tell me whether student version supports PSL or not ?

I will wait to get some help on it.

Regards,
Abhijeet
abhijeet.dhanotiya@spsu.ac.in

2

Modelsim does not support PSL or SVA assertions. There are options for the paid versions of Modelsim. Questa supports assertions.