Formal deadlock checking on high-level SystemC designs.

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

Published in: ICCAD (2010)

Keyphrases

high level
low level
formal model
higher level
mid level
real world
case study
low level features
lower level
mathematical theory
neural network
intermediate level
design space
formal methods
semantic information
keywords
computer vision