word arithmetic
1.Word level model checking based on decision diagrams can verify arithmetic circuits completely,but its bug finding is time-consuming.
2.The soft uses the ANSI C, fully utilizes the ActiveX technology, establishes the interface programs among Lab Windows/CVI, matlab and word, and dynamic simulates by driving the module of modeling in the simulink, the arithmetic module of M files in the matlab, and the interface module in the word with C program.
3.An arithmetic device with low power consumption includes master latches, a dynamic range detection unit, slave latches, an operation unit, and a word-length restoration unit.
