Simulating Pass Transistor Circuits Using Logic Simulation Machines | IEEE Conference Publication | IEEE Xplore