diff options
Diffstat (limited to 'src/synth/netlists.ads')
| -rw-r--r-- | src/synth/netlists.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/netlists.ads b/src/synth/netlists.ads index 2801b8fb0..58900e748 100644 --- a/src/synth/netlists.ads +++ b/src/synth/netlists.ads @@ -327,6 +327,9 @@ package Netlists is -- OFF is the word offset, from 0 to (len - 1) / 32. function Read_Pval (P : Pval; Off : Uns32) return Logic_32; procedure Write_Pval (P : Pval; Off : Uns32; Val : Logic_32); + + -- Display some usage stats on the standard error. + procedure Disp_Stats; private type Sname is new Uns32 range 0 .. 2**30 - 1; No_Sname : constant Sname := 0; |