Using RTL-to-C++ translation for large SoC concurrent engineering: a case study
RTL-to-C translation can be used to help verify the design of complex SoCs by letting generated models run production code at high speed. The authors describe the technique used to replace hardware emulation during the development of a 5 million gate device for the DSL market.