Synthesis of PSL prev function.

1 files changed, 6 insertions, 1 deletions

diff --git a/src/synth/synth-expr.ads b/src/synth/synth-expr.ads
index 1da15ce29..481062a0a 100644
--- a/src/synth/synth-expr.ads
+++ b/src/synth/synth-expr.ads
@@ -22,6 +22,9 @@ with Ada.Unchecked_Deallocation;
 
 with Types; use Types;
 
+with PSL.Types;
+with Vhdl.Nodes; use Vhdl.Nodes;
+
 with Netlists; use Netlists;
 with Netlists.Builders; use Netlists.Builders;
 
@@ -29,7 +32,6 @@ with Synth.Source;
 with Synth.Objtypes; use Synth.Objtypes;
 with Synth.Values; use Synth.Values;
 with Synth.Context; use Synth.Context;
-with Vhdl.Nodes; use Vhdl.Nodes;
 
 package Synth.Expr is
    --  Perform a subtype conversion.  Check constraints.
@@ -90,6 +92,9 @@ package Synth.Expr is
    function Synth_Expression_With_Basetype (Syn_Inst : Synth_Instance_Acc;
                                             Expr : Node) return Valtyp;
 
+   function Synth_PSL_Expression
+     (Syn_Inst : Synth_Instance_Acc; Expr : PSL.Types.PSL_Node) return Net;
+
    function Synth_Bounds_From_Range (Syn_Inst : Synth_Instance_Acc;
                                      Atype : Node) return Bound_Type;