Retired engineer interested in SV and SVA. Wrote several books and papers on SVA, PSL, VMM, chip design and verification, VHDL.
Ben@systemverilog.us
Link to the list of papers and books that I wrote, many are now donated.
http://systemverilog.us/vf/Cohen_Links_to_papers_books.pdf
or https://rb.gy/ibks5p
