diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-05-09 09:28:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-09 09:28:09 +0200 |
| commit | 58b23954e89a75e726d98716d5029f148c804073 (patch) | |
| tree | 7462e655ef0c7e5321b494ca17096c3aeffaf899 /backends | |
| parent | 600079e281d1dcf295c1c97616109b5ea5f3d34d (diff) | |
| parent | d8adbff72f6648589d7699857ee8c65a80315033 (diff) | |
| download | yosys-58b23954e89a75e726d98716d5029f148c804073.tar.gz yosys-58b23954e89a75e726d98716d5029f148c804073.tar.bz2 yosys-58b23954e89a75e726d98716d5029f148c804073.zip | |
Merge pull request #3299 from YosysHQ/mmicko/sim_memory
sim pass: support for memories
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 73e88c049..7de5deadd 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1220,6 +1220,8 @@ struct BtorWorker int this_nid = next_nid++; btorf("%d uext %d %d %d%s\n", this_nid, sid, nid, 0, getinfo(wire).c_str()); + if (info_clocks.count(nid)) + info_clocks[this_nid] |= info_clocks[nid]; btorf_pop(stringf("wire %s", log_id(wire))); continue; |