A Module Checking Based Converter Synthesis Approach for SoCs.

Roopak Sinha Partha S. Roop Samik Basu A Module Checking Based Converter Synthesis Approach for SoCs. 492-501 2008 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSI.2008.109 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#SinhaRB08