Tools for reliable software design of VLSI | IEEE Conference Publication | IEEE Xplore