Generation of testable designs from behavioral descriptions using high level synthesis tools | IEEE Conference Publication | IEEE Xplore