1. ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies /: a comprehensive guide to technologies and methodologies. ([2018]) Authors: Mehta, Ashok B Record Type: Book Extent: 1 online resource (XXXI, 328 pages), 175 illustrations, 160 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. SVA : the power of assertions in SystemVerilog /: the power of assertions in SystemVerilog. (2015) Authors: Cerny, Eduard Record Type: Book Extent: 1 online resource (589 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. SystemVerilog for hardware description RTL design and verification /: RTL design and verification. (2020) Other Names: Taraate, Vaibbhav Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗