System LSI design with C-based behavioral synthesis and verification | IEEE Conference Publication | IEEE Xplore