Increasing sophistication of computer chip design raises the risk that undetected bugs could be used to crack public key encryption systems. With the increasing word size and sophisticated optimizations of multiplication units in modern microprocessors, it becomes alarming that they contain some undetected bugs. System simulation is used to comprehensively verify ...