مؤتمر
Integrating formal verification and high-level processor pipeline synthesis
| العنوان: | Integrating formal verification and high-level processor pipeline synthesis |
|---|---|
| المؤلفون: | Nurvitadhi, Eriko, Hoe, James C., Kam, Timothy, Lu, Shih-Lien L. |
| المصدر: | 2011 IEEE 9th Symposium on Application Specific Processors (SASP) Application Specific Processors (SASP), 2011 IEEE 9th Symposium on. :22-29 Jun, 2011 |
| Relation: | 2011 IEEE 9th Symposium on Application Specific Processors (SASP) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781457712128 9781457712111 9781457712135 |
|---|---|
| DOI: | 10.1109/SASP.2011.5941073 |