Formal deadlock checking on high-level SystemC designs Venue ICCAD Year 2010 Authors: Chun-Nan Chou, Chang-Hong Hsu, Yueh-Tung Chao, Chung-Yang Huang
