Hi suresh,
There is one tool from aldec called Riviera Its basically "ASIC verification solution tool" basically made for ASIC type of solutions only....
I have attached the complete feature list and explanation for your reference pls check .....
other then this whatever the tools are mentioned above are the tools and company which is running in the market from long time ...... but I feel this ASIC verification solution " front end" from aldec will be surly useful for you ...
I will try to upload the limited software version set up file as well in software download upload section
with regards,