Support for PSL assert and assume in synthesis (#892)

* initial support for PSL assert and assume

* add support for true, false, and, or in psl synth

* update testsuite with new psl things

1 files changed, 2 insertions, 1 deletions

diff --git a/testsuite/synth/psl01/hello.vhdl b/testsuite/synth/psl01/hello.vhdl
index fcf517757..6f5e40735 100644
--- a/testsuite/synth/psl01/hello.vhdl
+++ b/testsuite/synth/psl01/hello.vhdl
@@ -24,5 +24,6 @@ begin
 
  --psl default clock is clk;
  --psl restrict {rst; (not rst)[*]};
- assert val /= 5 or rst = '1' severity error;
+ --psl assert always val /= 5 or rst = '1';
+ --psl assume always val < 50;
 end behav;