Verity - A formal verification program for custom CMOS circuits