http://www.cygnal.com/

http://www.triscend.com/

and

http://www.synopsys.com/products/...51_ds.html

http://www.cast-inc.com/info/pr/date2k-d80530.htm