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. Counterfeit integrated circuits : detection and avoidance /: detection and avoidance. ([2015]) Authors: Tehranipoor, Mohammad H, 1974-; Guin, Ujjwal; Forte, Domenic Record Type: Book Extent: 1 online resource (xx, 269 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal system verification : state-of the-art and future trends /: state-of the-art and future trends. ([2018]) Editors: Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal verification : an essential toolkit for modern VLSI design /: an essential toolkit for modern VLSI design. (2015) Authors: Seligman, Erik; Schubert, E. Thomas, 1959-; Kumar, M. V. Achutha Kiran Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal verification : an essential toolkit for modern VLSI design /: an essential toolkit for modern VLSI design. (2023) Authors: Seligman, Erik; Schubert, E. Thomas, 1959-; Kumar, M. V. Achutha Kiran Record Type: Book Extent: 1 online resource (352 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. System Verilog assertions and functional coverage : guide to language, methodology and applications /: guide to language, methodology and applications. ([2020]) Authors: Mehta, Ashok B Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. SystemVerilog assertions and functional coverage : guide to language, methodology and applications /: guide to language, methodology and applications. ([2016]) Authors: Mehta, Ashok B Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗