Kazutoshi Wakabayashi System LSI design with C-based behavioral synthesis and verification. 5930-5933 2005 conf/iscas/2005 ISCAS (6) http://dx.doi.org/10.1109/ISCAS.2005.1465989 db/conf/iscas/iscas2005-6.html#Wakabayashi05