Improving gate-level simulation accuracy when unknowns exist