Association for Computing Machinery
C-based hardware designs are now accepted as means to increase design productivity. Starting with rather algorithmic design descriptions, incremental refinements are applied to generate high-level synthesizable descriptions which are further processed by high-level and logic synthesis tools. C-based system level design descriptions, such as in SpecC and SystemC, can give concise and global views on the behaviors of the designs as well as structures, and various types of dependencies, such as control, data, concurrency, and others, can be extracted quickly. These dependencies can be the bases for efficient and effective debugging for all levels of design descriptions.