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. Out-of-order parallel discrete event simulation for electronic system-level design. (2015) Authors: Chen, Weiwei Other Names: Dömer, Rainer author of introduction, etc. Record Type: Book Extent: 1 online resource (158 pages), illustrations, graphs, tables View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Security policy in system-on-chip designs : specification, implementation and verification /: specification, implementation and verification. ([2019]) Authors: Ray, Sandip; Basak, Abhishek; Bhunia, Swarup Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. System-on-chip security : validation and verification /: validation and verification. ([2020]) Authors: Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat, 1973- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗