مؤتمر
Pre-silicon security verification and validation: A formal perspective
| العنوان: | Pre-silicon security verification and validation: A formal perspective |
|---|---|
| المؤلفون: | Xiaolong Guo, Dutta, Raj Gautam, Yier Jin, Farahmandi, Farimah, Mishra, Prabhat |
| المصدر: | 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE. :1-6 Jun, 2015 |
| Relation: | 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781479980529 |
|---|---|
| تدمد: | 0738100X |
| DOI: | 10.1145/2744769.2747939 |