diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-13 13:11:25 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:56 -0700 |
| commit | 483a190c1b468b2a22fe7f2b92075953c6095f7d (patch) | |
| tree | f439453bb5364abfc7f6a481fa9596141ded9088 /frontends/aiger | |
| parent | 77f3abcdc30e21b4359c2b07c20b63bdac5993bf (diff) | |
| download | yosys-483a190c1b468b2a22fe7f2b92075953c6095f7d.tar.gz yosys-483a190c1b468b2a22fe7f2b92075953c6095f7d.tar.bz2 yosys-483a190c1b468b2a22fe7f2b92075953c6095f7d.zip | |
aiger: -xaiger to parse initial state back into (* init *) on Q wire
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 7e5e6dd2d..ed3a926c6 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -802,7 +802,8 @@ void AigerReader::post_process() ff->setPort(ID::C, r.first->second); ff->setPort(ID::D, d); ff->setPort(ID::Q, q); - ff->attributes[ID::abc9_init] = initial_state[i]; + log_assert(GetSize(q) == 1); + q->attributes[ID::init] = initial_state[i]; } dict<RTLIL::IdString, std::pair<int,int>> wideports_cache; |