diff options
Diffstat (limited to 'src/synth/synth-flags.ads')
| -rw-r--r-- | src/synth/synth-flags.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads index 211c01c1d..aa3a0b8aa 100644 --- a/src/synth/synth-flags.ads +++ b/src/synth/synth-flags.ads @@ -84,5 +84,10 @@ package Synth.Flags is -- If true, treat all PSL assume directives like assert directives Flag_Assume_As_Assert : Boolean := False; + -- If true, simulation is run instead of synthesis. Consequences: + -- * signals value are known and can be read (through hooks). + -- * signals attributes are supported. + Flag_Simulation : Boolean := False; + Flag_Verbose : Boolean := False; end Synth.Flags; |