Formal verification of module interfaces against real time specifications
Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee · Proceedings - ACM IEEE Design Automation Conference · 2002
KJ1E.LCM*-N$\t?. -! #M$ O$ ?(P($ '(\tRQ?SDI 4%\t-T *,!)"'4)U$\tVLWPXK YL*H%KZ4 (\tRQ?SDI 29000 !))D4 8950-50010 '4)U$\tVLWPXK YL*H%KZ4 (\tRQ?SD 6`Ga#:bSD=BCGc'4) ed$fRgTh3JKQ]9 Z! H,!,2@b T /\tiL4R))$Lj k(%$ Rj +%,T-. ! \tDE 28940-47920 4 28929-46860 Lj k(%$ Rj +%,T-. ! \tDE 28940 - :& %+(P$ '.\tKJKQlK jT\t '4\t# ['()W E =?> %+(P$ '.\tKJKQlK jT\t '4\t# ['()W 2 %)Qe=VN H44 *! ' \\\t;E K jT\t '4\t vDrKtwxnRnqyER 4 4 ER 28810-42690 \\\t;E K jT\t '4\t# ['()W 289 MK!)*)RM jER;4 E K jT\t '4\t# ['()W 28900-447 K *, 14%\t&(P( '. Q|SD1 .)24 I _e%E\t1b}b )*Q/>&L[~(j ;14 (P($ '.\t \\\t-!*. @MD! ?!E)1 ;PX $3LZ;'(%)* e)*! @[ E.LCTP*[ +\\\t-! ;U4)*O4 E)* % 1'4 @[ E.LCTP*[ +\\\t-! ;U4)*O4 E)* %)$ '(%)&Y 1SyU\\Ii+>&-T...