SALVOR : 일치성 검증의 효율적인 결과 분석을 위한 설계 오류 분석 시스템 2 ( SALVOR : Schematic and Layout Verifier with On-line Reporting System )