Welcome!, You can Download " eda for ic system design verification and testing the first volume " Books,at link Below ,It's free.