Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa. Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10317-10620, IEEE Computer Society, 1998. [doi]
Abstract is missing.