Welcome!, You can Download " electronic design automation for ic system design verification and testing new to this edit " Books,at link Below ,It's free.