diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-07-21 14:23:22 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-07-21 14:23:22 +0200 |
| commit | 5c166e76e52cdaf6ea97952c17d3d79185a59f96 (patch) | |
| tree | e0f790a82816d5a148eb913b00176f4a581f5464 /kernel/rtlil.cc | |
| parent | d7763634b68a735443c61aa32918ee0cdd6e9250 (diff) | |
| download | yosys-5c166e76e52cdaf6ea97952c17d3d79185a59f96.tar.gz yosys-5c166e76e52cdaf6ea97952c17d3d79185a59f96.tar.bz2 yosys-5c166e76e52cdaf6ea97952c17d3d79185a59f96.zip | |
Added $initstate cell type and vlog function
Diffstat (limited to 'kernel/rtlil.cc')
| -rw-r--r-- | kernel/rtlil.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index cf3c80604..2e5157e85 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -1024,6 +1024,12 @@ namespace { return; } + if (cell->type == "$initstate") { + port("\\Y", 1); + check_expected(); + return; + } + if (cell->type == "$equiv") { port("\\A", 1); port("\\B", 1); |