Avis: an automatic verification system for cad circuit-database using padiks