Functional Verification Using C Model: DPIC VS Static Value Table Author(s): Djordje Velickovic, Katarina Bozinovic Download