aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created
authorEddie Hung <eddie@fpgeh.com>
Thu, 9 Apr 2020 21:31:14 +0000 (14:31 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commit53fc3ed64563045949bcd52a03d2af586605d523
tree0e34bbff272bc6a23e3fcaa335a6b9e63e3461aa
parentffa52738fba1264ef2eb37d5333babfa0758fe48
aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created

according to mergeability class, and init state as cell attr
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h