Formal deadlock checking on high-level SystemC designs.

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

Browse the full ICCAD paper archive.