On using IEEE 1500 standard for functional testing | IEEE Conference Publication | IEEE Xplore