CoventorWare Analyzer for Detailed Design and Verification