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