示例#1
0
文件: v3Ntk.cpp 项目: SillyDuck/V3
// 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);
}
示例#2
0
文件: code_fact.c 项目: GSIO01/CI_PL0
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;
}
示例#3
0
文件: v3Ntk.cpp 项目: SillyDuck/V3
// Ntk Construction Functions
void
V3Ntk::initialize() {
   assert (!_inputData.size());
   // Create Constant AIG_FALSE
   const V3NetId id = createNet(1); assert (!id.id); createConst(id);
}