Overview digital circuit simulation with logic-sim