file.pdf (940.94 kB)
Download fileWord Level Symbolic Model Checking A New Approach for Verifying Arithmetic Circuits
journal contribution
posted on 01.04.2004, 00:00 by Edmund M Clarke, X ZhaoThe highly-publicized decision error in the Pentium has emphasized the importance of formal verification of arithmetic operations.