Synthesis framework based on trace and automata theory

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 1, Issue , 1994, Pages 291-296

  Fron, Jerome ^a   Yang, Jerry Chih Yuan ^a   Damiani, Maurizio ^a   De Micheli, Giovanni ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER CIRCUITS; COMPUTER HARDWARE; COMPUTER SIMULATION; FORMAL LOGIC; HIGH LEVEL LANGUAGES; OPTIMIZATION; STATE SPACE METHODS;

EXECUTION TRACES; HARDWARE C; LANGUAGE CONTAINMENT PROBLEM; LOGIC SYNTHESIS SYSTEMS; SEQUENTIAL LOGIC SYNTHESIS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0028578399     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)