この資料をSMS送信: Word level predicate abstraction and refinement for verifying RTL verilog