Behavioral synthesis methodology for HDL-based specification and validation

Proceedings - Design Automation Conference

Volumn , Issue , 1995, Pages 286-291

  Knapp, D ^a   Ly, T ^a   MacMillen, D ^a   Miller, R ^a  

^a SYNOPSYS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; DECISION MAKING; NETWORK PROTOCOLS; OPTIMIZATION; SPECIFICATIONS; USER INTERFACES;

BEHAVIORAL LEVEL SYNTHESIS; COMMUNICATION PROTOCOL; COMPLEX INTERFACE TIMING; SYNTHESIS ALGORITHMS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029235762     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/217474.217543     Document Type: Conference Paper

References (7)