The standard SpecC language

Proceedings of the International Symposium on System Synthesis

Volumn , Issue , 2001, Pages 81-86

  Fujita, M ^a   Nakamura, H ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

C based Hardware Description; Formal Semantics; Formal Verification; Hardware Description Language; High Level Synthesis; System Level Design; System Synthesis

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; SEMANTICS;

SYSTEM LEVEL DESCRIPTION LANGUAGE;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0034795954     PISSN: 10801820     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/500001.500019     Document Type: Conference Paper

References (3)