Authoring assertion IP using OpenVera assertion language By Surrendra Dudani, Synopsys February 6, 2003