I want to use embedded psl into a vhdl testbench and force a signal
to e.g. '0' and then unforce it. How to write psl for this? I compile and
simulate my design using modelsim 6.5a. I have seen different syntax for
this but unsure how to get it to work. I dont want to write commands
in modelsim only embed it into the "normal" testbench .vhdl file
I want to use embedded psl into a vhdl testbench and force a signal
to e.g. '0' and then unforce it. How to write psl for this? I compile and
simulate my design using modelsim 6.5a. I have seen different syntax for
this but unsure how to get it to work. I dont want to write commands
in modelsim only embed it into the "normal" testbench .vhdl file