Springer is allowing a number of books to be downloaded for free during the Covid-19 pandemic. I found the Quick Start to Verilog, in case anyone is interested: https://link.springer.com/book/10.1007/978-3-030-10552-5 The main book list is at: https://link.springer.com/search?facet-content-type=Book&package=mat-covid19_textbooks -- hendrik