Hi, I am Nitin Yogi and I am pursuing my PhD at Auburn Univ. in the field of RTL testing. For my research I am in need of a RTL fault simulator. I have been through the postings on this group and a few others. Some people had mentioned about Cadence's Verifault-XL. Our university has a cadence package installed in our labs but I could'nt find the software. Also I checked at cadence.com and they have no reference what so ever to the package. Have cadence discontinued the package or am I looking in the wrong place? If Verifault-XL is discontinued, is there any new software which has taken it's place? Also does anyone know of any other RTL fault simulator I could use? I checked with Mentor Graphics and they don't seem to provide any such simulator. Thanks for reading this query. Any kind of information will be really helpful. Thanks in advance... Nitin