diff options
Diffstat (limited to 'src/vhdl/disp_vhdl.adb')
| -rw-r--r-- | src/vhdl/disp_vhdl.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/vhdl/disp_vhdl.adb b/src/vhdl/disp_vhdl.adb index 73a8e420f..3683ae5e3 100644 --- a/src/vhdl/disp_vhdl.adb +++ b/src/vhdl/disp_vhdl.adb @@ -2891,7 +2891,9 @@ package body Disp_Vhdl is procedure Disp_Psl_Assert_Statement (Stmt : Iir) is begin - Put ("--psl assert "); + Put ("--psl "); + Disp_Label (Stmt); + Put ("assert "); Disp_Psl_Expression (Get_Psl_Property (Stmt)); Put_Line (";"); Disp_PSL_NFA (Get_PSL_NFA (Stmt)); @@ -2899,7 +2901,9 @@ package body Disp_Vhdl is procedure Disp_Psl_Cover_Statement (Stmt : Iir) is begin - Put ("--psl cover "); + Put ("--psl "); + Disp_Label (Stmt); + Put ("cover "); Disp_Psl_Expression (Get_Psl_Property (Stmt)); Put_Line (";"); Disp_PSL_NFA (Get_PSL_NFA (Stmt)); |