Formal deadlock checking on high-level SystemC designs

作者：Chun-Nan Chou, Chang-Hong Hsu, Yueh-Tung Chao, Chung-Yang Huang