Removing design errors from digital circuitsUbar, Raimund-JohannesProc. of the 4th International Conference on New Information Technologies. Vol. 12000 / p. 118-125