Automated equivalence checking of switch level circuits . - Simon Jolly; Atanas N. Parashkevov; Tim McDougall (DAC, 2002)

An automated method for test model generation from switch level circuits. - Tim McDougall; Atanas N. Parashkevov; Simon Jolly; Juhong Zhu; Jing Zeng; Carol Pyron; Magdy S. Abadir (ASP-DAC, 2003)