A Methodology for Advanced Block Level Verification
A Methodology for Advanced Block Level Verification E\$VKLVK$JJDUZDO9HULILFDWLRQ7HFKQRORJLVWDQG5DYLQGUD.$QHMD9HULILFDWLRQ7HFKQRORJ\0DQDJHU0HQWRU*UDSKLFV
OVERVIEW 7KLVSDSHURXWOLQHVWKHSURFHVVIRUDGYDQFHGYHULILFDWLRQ PHWKRGVDWWKHEORFNOHYHO'HVLJQDQGYHULILFDWLRQLVVXHV FDQEHGLYLGHGLQWRIRXUPDMRUFDWHJRULHVHDFKRIZKLFK ZHEULHIO\DGGUHVVLQWKLVSDSHU 57/GHYHORSPHQW 9HULILFDWLRQRIVWDQGDUGSURWRFROLQWHUIDFHV (QGWRHQGYHULILFDWLRQXVLQJDVLPXODWLRQEDVHG HQYLURQPHQW (IIHFWLYHPDQDJHPHQWRIFRYHUDJHFORVXUH
INTRODUCTION 7KHGHVLJQXVHGIRUWKLVFDVHVWXG\LVDEULGJHEHWZHHQ $;,DQG$+%OLWHVWDQGDUG$0%$EXVHV7KHGHVLJQDQG YHULILFDWLRQIORZLVVKRZQLQ)LJXUH
)LJXUH 'HVLJQDQG9HULILFDWLRQ)ORZ
)LJXUH %ORFN'LDJUDPRI'87
R&RQILJXUDEOHQXPEHURIRXWVWDQGLQJDGGUHVVHV R&RQILJXUDEOHGHSWKRIYDULRXVEXIIHUV 8QDOLJQHG$;,UHDGDQGZULWHEXUVWWUDQVDFWLRQV 1DUURZ$;,EXVWUDQVIHUV $OOW\SHVRI$;,EXUVWWUDQVIHUW\SHVDUHPDSSHG 0XOWLSOH$;,UHDGDQGZULWHRXWVWDQGLQJDGGUHVVHV $;,DGGUHVV,'VDUHXVHGLQUHDGDQGZULWH WUDQVDFWLRQV $+%OLWHZDLWF\FOHVLQVHUWLRQDQGHUURUUHVSRQVH KDQGOLQJ 5RXQGURELQDUELWUDWLRQVFKHPH $;,HUURUW\SHV±2.$
OVERVIEW 7KLVSDSHURXWOLQHVWKHSURFHVVIRUDGYDQFHGYHULILFDWLRQ PHWKRGVDWWKHEORFNOHYHO'HVLJQDQGYHULILFDWLRQLVVXHV FDQEHGLYLGHGLQWRIRXUPDMRUFDWHJRULHVHDFKRIZKLFK ZHEULHIO\DGGUHVVLQWKLVSDSHU 57/GHYHORSPHQW 9HULILFDWLRQRIVWDQGDUGSURWRFROLQWHUIDFHV (QGWRHQGYHULILFDWLRQXVLQJDVLPXODWLRQEDVHG HQYLURQPHQW (IIHFWLYHPDQDJHPHQWRIFRYHUDJHFORVXUH
INTRODUCTION 7KHGHVLJQXVHGIRUWKLVFDVHVWXG\LVDEULGJHEHWZHHQ $;,DQG$+%OLWHVWDQGDUG$0%$EXVHV7KHGHVLJQDQG YHULILFDWLRQIORZLVVKRZQLQ)LJXUH
)LJXUH 'HVLJQDQG9HULILFDWLRQ)ORZ
)LJXUH %ORFN'LDJUDPRI'87
R&RQILJXUDEOHQXPEHURIRXWVWDQGLQJDGGUHVVHV R&RQILJXUDEOHGHSWKRIYDULRXVEXIIHUV 8QDOLJQHG$;,UHDGDQGZULWHEXUVWWUDQVDFWLRQV 1DUURZ$;,EXVWUDQVIHUV $OOW\SHVRI$;,EXUVWWUDQVIHUW\SHVDUHPDSSHG 0XOWLSOH$;,UHDGDQGZULWHRXWVWDQGLQJDGGUHVVHV $;,DGGUHVV,'VDUHXVHGLQUHDGDQGZULWH WUDQVDFWLRQV $+%OLWHZDLWF\FOHVLQVHUWLRQDQGHUURUUHVSRQVH KDQGOLQJ 5RXQGURELQDUELWUDWLRQVFKHPH $;,HUURUW\SHV±2.$
