Panel: should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? | IEEE Conference Publication | IEEE Xplore