WAKABAYASHI, K. C-based behavioral synthesis and verification analysis on industrial design examples. Proc. Asia and South Pacific Design Automation Conference, 2004. 2004, 344-348
SULLIVAN, C. Using C based synthesis to bridge to productivity gap. Proc. Asia and South Pacific Design Automation Conference, 2004. 2004, 349-354