System-level test bench generation in a co-design framework | IEEE Conference Publication | IEEE Xplore