Title: Digital Circuit Design and Simulation with Tkgate