An illustration of specification modeling with VHDL using a Futurebus+ model | IEEE Conference Publication | IEEE Xplore