transistor-based Logic and transistor simulator for verifying designs of discrete transistor based computers