Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/12/01 Vol. E85-ANo. 12 ;
pp. 2933-2938 Type of Manuscript: PAPER Category: Information Theory Keyword: lossless, text compression, language, word-based,
Automatic Generation and Verification of Sufficient Correctness Properties of Synchornous Array Processors Stan Y. LIAOSrinivas DEVADAS
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/09/25 Vol. E76-DNo. 9 ;
pp. 1030-1038 Type of Manuscript: INVITED PAPER (Special Issue on Synthesis and Verification of Hardware Design) Category: Design Verification Keyword: formal verification, automata, language, and theory of computing, hardware and disign,