diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-08 20:17:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-08 20:17:59 -0700 |
| commit | 56f783157abf00a7d3d9744a75fa1503ea698262 (patch) | |
| tree | fd0544c9c64987323926179447ce9e5c5fe94a44 /src/aig/gia/gia.h | |
| parent | 9e4f8e9fdf45067659f112acc40c5656a38c2a14 (diff) | |
| download | abc-56f783157abf00a7d3d9744a75fa1503ea698262.tar.gz abc-56f783157abf00a7d3d9744a75fa1503ea698262.tar.bz2 abc-56f783157abf00a7d3d9744a75fa1503ea698262.zip | |
Support for representing programmable cell configuration data.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index bc7238d8..88e47ed0 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -131,6 +131,8 @@ struct Gia_Man_t_ Vec_Int_t * vMapping; // mapping for each node Vec_Int_t * vCellMapping; // mapping for each node Vec_Int_t * vPacking; // packing information + Vec_Int_t * vConfigs; // cell configurations + char * pCellStr; // cell description Vec_Int_t * vLutConfigs; // LUT configurations Abc_Cex_t * pCexComb; // combinational counter-example Abc_Cex_t * pCexSeq; // sequential counter-example |