logic circuit simulation - Search