A unified framework for the formal verification of sequential circuits ...

7 downloads 3349 Views 404KB Size Report
either in one step (EX and AX formulas) or by fixed point algorithms. (EU and AU ..... permutation of the It first integers. is My] “1.1076(1), yum). 4.3.2 Domain .... appear in Proc. of the Workshop on Computer Aided Verification,. Rutgers, U.S.A. ...