diff options
Diffstat (limited to 'src/synth/netlists-dump.ads')
-rw-r--r-- | src/synth/netlists-dump.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/netlists-dump.ads b/src/synth/netlists-dump.ads index 2fcb429be..48e8a384f 100644 --- a/src/synth/netlists-dump.ads +++ b/src/synth/netlists-dump.ads @@ -27,7 +27,13 @@ package Netlists.Dump is procedure Put_Id (N : Name_Id); procedure Disp_Binary_Digits (Va : Uns32; Zx : Uns32; W : Natural); + + -- Display the digits of binary value PV. + procedure Disp_Pval_Binary_Digits (Pv : Pval); + + -- Display PV within double quotes. procedure Disp_Pval_Binary (Pv : Pval); + procedure Disp_Pval_String (Pv : Pval); procedure Dump_Name (N : Sname); |