FunState - an internal design representation for codesign

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1999, Pages 558-565

  Thiele, L ^a   Strehl, K ^a   Ziegenbein, D ^a   Ernst, R ^a   Teich, J ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA FLOW ANALYSIS; INTEGRATED CIRCUIT TESTING; PETRI NETS; SYSTEMS ANALYSIS;

FUNSTATE; INTERNAL DESIGN MODEL; VERIFICATION;

LOGIC DESIGN;

EID: 0033356204     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)