diff options
| author | Jannis Harder <me@jix.one> | 2022-08-02 15:59:39 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | 96a1173598ec1bf93670b2de3c8bb087f03a8528 (patch) | |
| tree | ee1d9570896c12615f33b8db8afdf889d6bca4de /backends | |
| parent | 5893cae6472727a71573cb0826158125a6aa04af (diff) | |
| download | yosys-96a1173598ec1bf93670b2de3c8bb087f03a8528.tar.gz yosys-96a1173598ec1bf93670b2de3c8bb087f03a8528.tar.bz2 yosys-96a1173598ec1bf93670b2de3c8bb087f03a8528.zip | |
btor: Support $anyinit cells
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 6dae7156a..06de71018 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -612,7 +612,7 @@ struct BtorWorker goto okay; } - if (cell->type.in(ID($dff), ID($ff), ID($_DFF_P_), ID($_DFF_N), ID($_FF_))) + if (cell->type.in(ID($dff), ID($ff), ID($anyinit), ID($_DFF_P_), ID($_DFF_N), ID($_FF_))) { SigSpec sig_d = sigmap(cell->getPort(ID::D)); SigSpec sig_q = sigmap(cell->getPort(ID::Q)); |