Formal verification of an industrial system-on-a-chip

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 2000, Pages 453-458

  Choi, Hoon ^a   Yim, Myung Kyoon ^a   Lee, Jae Young ^a   Yun, Byeong Whee ^a   Lee, Yun Tae ^a  

^a SAMSUNG Electronics   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; EMBEDDED SYSTEMS; PIPELINE PROCESSING SYSTEMS; PROGRAM PROCESSORS; SEMICONDUCTOR DEVICE MODELS;

SYSTEM-ON-A-CHIP;

MICROPROCESSOR CHIPS;

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

References (9)