Hi,
Not that I'm aware of, but there is a free parser at:
http://www.ieee1647.org/download_parser.html
May be you should also start exploring SystemVerilog - given that more
than one vendor has started supporting it, you may have better success
with finding eval versions.
HTH
Ajeetha
--
www.noveldv.com
Interested in expert PSL/SVA training in Bangalore? Visit
www.noveldv.com/cvc.html