// Ntk Construction Functions void V3BvNtk::initialize() { assert (!_inputData.size()); // Create Constant BV_CONST = 1'b0 for Sync with AIG_FALSE const V3NetId id = createNet(1); assert (!id.id); _inputData.back().push_back(0); createConst(id); }
int fa1(void) { constant_p c = searchConst(morph.value.numb); DEBUG_PRINT("fa1"); if(c == NULL) { c = createConst(morph.value.numb); } if(code(puConst, c->index) == FAIL) { error(ERR_CODEGEN, NULL); return FAIL; } return OK; }
// Ntk Construction Functions void V3Ntk::initialize() { assert (!_inputData.size()); // Create Constant AIG_FALSE const V3NetId id = createNet(1); assert (!id.id); createConst(id); }