Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/09/25 Vol. E76-DNo. 9 ;
pp. 1055-1065 Type of Manuscript: Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design) Category: Hardware Design Languages Keyword: hardware description languages, microprocessor design, VLSI disign,