Simulation-based design error diagnosis and correction in combinational digital circuits | IEEE Conference Publication | IEEE Xplore