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.

Note: By clicking on the above link, this paper will be emailed to your TechOnline log-in address by Mentor Graphics.