| year of publication | ISBN | author(s) | title | 
|---|---|---|---|
| 2000 | 978-0-9705394-0-3 | Ben Cohen | Component Design by Example: a Step-by-Step Process Using VHDL with UART as Vehicle | 
| 2016 | 978-0-9705394-2-7 | Ben Cohen | Real Chip Design and Verification Using Verilog and VHDL | 
| 2010 | 978-0-9705394-8-9 | '' | SystemVerilog Assertions Handbook, 2nd Edition |