Exemple #1
0
// 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);
}
Exemple #2
0
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;
}
Exemple #3
0
// Ntk Construction Functions
void
V3Ntk::initialize() {
   assert (!_inputData.size());
   // Create Constant AIG_FALSE
   const V3NetId id = createNet(1); assert (!id.id); createConst(id);
}