Test driven development for device drivers and rapid hardware prototyping | IEEE Conference Publication | IEEE Xplore