[IEEE 2014 IEEE International Symposium on Circuits and Systems (ISCAS) - Melbourne VIC, Australia (2014.6.1-2014.6.5)] 2014 IEEE International Symposium on Circuits and Systems (ISCAS) - A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators

[IEEE 2014 IEEE International Symposium

✍ Filanovsky, I.M. 📂 Article 📅 2014 🏛 IEEE ⚖ 440 KB

[IEEE 2014 IEEE International Symposium

✍ Moore, Ciara; O'Neill, Maire; O'Sullivan, Elizabeth; Doroz, Yarkin; Sunar, Berk 📂 Article 📅 2014 🏛 IEEE ⚖ 312 KB

[IEEE 2014 IEEE International Symposium

✍ Choi, Byung Joon; Ge, Ning; Yang, J. Joshua; Zhang, Min-Xian; Williams, R. Stanl 📂 Article 📅 2014 🏛 IEEE ⚖ 634 KB

[IEEE 2014 IEEE International Symposium

✍ Hu, Yue; Farahbakhshian, Farshad; Moon, Un-Ku 📂 Article 📅 2014 🏛 IEEE ⚖ 568 KB

[IEEE 2014 IEEE International Symposium

✍ Xu, Jingwei; Rohani, Ehsan; Rahman, Mehnaz; Choi, Gwan 📂 Article 📅 2014 🏛 IEEE ⚖ 360 KB

[IEEE 2014 IEEE International Symposium

✍ Algueta Miguel, Jose M.; Lopez-Martin, Antonio J.; De La Cruz Blas, Carlos A.; R 📂 Article 📅 2014 🏛 IEEE ⚖ 448 KB