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