Static verification tool improvement in ASIC design flow: Tool Evaluation using a real design