Partitioning and surmounting the software-hardware abstraction gap in an ASIC design project | IEEE Conference Publication | IEEE Xplore