diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-21 17:43:46 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-21 17:43:46 -0800 |
commit | ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459 (patch) | |
tree | d68936b328fea34932412351c0c6c3f496989e69 /src/base/wlc/wlc.h | |
parent | 14425c111ef5dba0ab3d96a3f115c3320ee95e23 (diff) | |
download | abc-ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459.tar.gz abc-ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459.tar.bz2 abc-ffc7b60d2d9b8d082c07ffd64c5a3de98b4cc459.zip |
Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index d94b0e2c..ed5fe5bd 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -120,6 +120,8 @@ struct Wlc_Ntk_t_ Vec_Int_t vCis; // combinational inputs Vec_Int_t vCos; // combinational outputs Vec_Int_t vFfs; // flops + Vec_Int_t vInits; // initial values + char * pInits; // initial values int nObjs[WLC_OBJ_NUMBER]; // counter of objects of each type int nAnds[WLC_OBJ_NUMBER]; // counter of AND gates after blasting // memory for objects |