Logic simulation tool