Results for author 'Sandip Ray'

Scalable Techniques for Formal Verification

Fundamentals of IP and SoC Security

Design, Verification, and Debug

Three Rays

Stories from Satyajit Ray

Security Policy in System-on-Chip Designs

Specification, Implementation and Verification

Internet of Things. A Confluence of Many Disciplines

Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 â" November 1, 2019, Revised Selected Papers