From 56f783157abf00a7d3d9744a75fa1503ea698262 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 8 Mar 2015 20:17:59 -0700 Subject: Support for representing programmable cell configuration data. --- src/aig/gia/gia.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia/gia.h') 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 -- cgit v1.2.3