Procedure exlining: a new system-level specification transformation

Frank Vahid. Procedure exlining: a new system-level specification transformation. In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 508-513, IEEE Computer Society, 1995. [doi]

Abstract

Abstract is missing.