Formal Deadlock Checking on High-Level SystemC Designs

Journal

IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

Pages

794-799

Date Issued

2010-11

Author(s)

Chun-Nan Chou

Chang-Hong Hsu

Yueh-Tung Chao

CHUNG-YANG HUANG

DOI

10.1109/ICCAD.2010.5653880

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/359373

Type

conference paper