VHDL semantics and validating transformations

Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey. VHDL semantics and validating transformations. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(7):936-955, 1999. [doi]

Abstract

Abstract is missing.