Zeev Barzilai, Leendert M. Huisman, Gabriel M. Silberman, Donald T. Tang, Lin S. Woo. Simulating pass transistor circuits using logic simulation machines. In Charles E. Radke, editor, Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983. pages 157-163, ACM/IEEE, 1983. [doi]
Abstract is missing.