語系
Ray, Sandip.
概要
| 作品: | 4 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Security policy in system-on-chip designsspecification, implementation and verification /
by:
Basak, Abhishek.; Bhunia, Swarup.; Ray, Sandip.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of IP and SoC securitydesign, verification, and debug /
by:
Bhunia, Swarup.; Ray, Sandip.; SpringerLink (Online service); Sur-Kolay, Susmita.
(書目-電子資源)
Scalable techniques for formal verification
by:
Ray, Sandip.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer security.
Computer systems
Electronics and Microelectronics, Instrumentation.
Formal methods (Computer science)
Computer-Aided Engineering (CAD, CAE) and Design.
Data encryption (Computer science)
Processor Architectures.
Automatic theorem proving.
Circuits and Systems.
Internet
Engineering.
Electronic Circuits and Devices.
Systems on a chip