Model checking of S3C2400X industrial embedded SOC product

Proceedings - Design Automation Conference

Volumn , Issue , 2001, Pages 611-616

  Choi, H ^a   Yun, B ^a   Lee, Y ^a   Roh, H ^a  

^a SAMSUNG Electronics   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LOGIC; INTERFACES (COMPUTER); MATHEMATICAL MODELS; MICROPROCESSOR CHIPS; SYNCHRONIZATION;

GATED CLOCKS;

EMBEDDED SYSTEMS;

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

References (9)

1. Bug identification of a real chip design by symbolic model checking
2. Model checking in industrial hardware design
3. Model checking of a real ATM switch
4. Integrating formal verification methods with a conventional project design flow
5. An approach to verify a large scale system-on-a-chip using symbolic model checking
6. Formal verification of an industrial system-on-a-chip