RTL semantics and methodology

Proceedings of the International Symposium on System Synthesis

Volumn , Issue , 2001, Pages 69-74

  Bailey, Brian ^a   Gajski, Dan ^b  

^a MENTOR GRAPHICS CORPORATION   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Accellera; FSMD; RTL processor; RTL semantics

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS; DIGITAL LIBRARIES; INPUT OUTPUT PROGRAMS; PROGRAMMING THEORY; STANDARDIZATION;

LANGUAGE SEMANTICS;

SEMANTICS;

EID: 0034796410     PISSN: 10801820     EISSN: None     Source Type: Journal    
DOI: 10.1145/500001.500017     Document Type: Article

References (5)