Integrating HDL Designer Series and FormalPro Tools
When the decision is made to convert RTL code from one language to another, mistakes are unacceptable. The functionality of the new code must match that of the old. Any differences can lead to expensive and time consuming re-spins of the device. Unfortunately, mistakes are easy to introduce but difficult to find. This paper describes a methodology for automatically detecting all of the differences in converted RTL.
Please disable any pop-up blockers for proper viewing of this Whitepaper.