Automatic synthesis of BISTed data paths from high level specification | IEEE Conference Publication | IEEE Xplore