diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-09-17 02:18:01 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-09-17 02:18:01 +0200 |
| commit | b7a36d7d7838d05b449aa7e23935cd0e3e4213d4 (patch) | |
| tree | b50c865a4c0acfb5923e2402578417e5f6accd7c /src/synth/netlists.ads | |
| parent | b3a28203e95f68bd1007c4c11b44187ecabbf593 (diff) | |
| download | ghdl-b7a36d7d7838d05b449aa7e23935cd0e3e4213d4.tar.gz ghdl-b7a36d7d7838d05b449aa7e23935cd0e3e4213d4.tar.bz2 ghdl-b7a36d7d7838d05b449aa7e23935cd0e3e4213d4.zip | |
synth-inference: detect false loop.
Diffstat (limited to 'src/synth/netlists.ads')
| -rw-r--r-- | src/synth/netlists.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/netlists.ads b/src/synth/netlists.ads index 0e7647b79..49c9144db 100644 --- a/src/synth/netlists.ads +++ b/src/synth/netlists.ads @@ -19,6 +19,7 @@ -- MA 02110-1301, USA. with Types; use Types; +with Hash; use Hash; package Netlists is -- Netlists. @@ -103,6 +104,9 @@ package Netlists is type Instance is private; No_Instance : constant Instance; + -- Hash INST (simply return its index). + function Hash (Inst : Instance) return Hash_Value_Type; + -- A net is an output of a gate or a sub-circuit. A net can be connected -- to several inputs. type Net is private; |