Scan paths through functional logic | IEEE Conference Publication | IEEE Xplore