Knowledge-Based Approach for the Verification of CAD Database Generated by an Automatic Schematic Capture System | IEEE Conference Publication | IEEE Xplore