1. 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) ↗
2. 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) ↗
3. Learning from VLSI Design Experience. ([2019]) Authors: Lee, Weng Fook Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗