✦ LIBER ✦

[IEEE 2011 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Chennai, India (2011.07.4-2011.07.6)] 2011 IEEE Computer Society Annual Symposium on VLSI - Application of Formal Methods for System-Level Verification of Network on Chip

✍ Scribed by Palaniveloo, Vinitha Arakkonam; Sowmya, Arcot

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE Computer Society Annual

✍ Agarwal, Alpana; Shekhar, Chandra 📂 Article 📅 2011 🏛 IEEE ⚖ 308 KB

[IEEE 2011 IEEE Computer Society Annual

✍ Posser, Gracieli; Flach, Guilherme; Wilke, Gustavo; Reis, Ricardo 📂 Article 📅 2011 🏛 IEEE ⚖ 171 KB

[IEEE 2011 IEEE Computer Society Annual

✍ Kumar, M. Pawan; Kumar, Anish S.; Murali, Srinivasan; Benini, Luca; Veezhinathan 📂 Article 📅 2011 🏛 IEEE ⚖ 625 KB

[IEEE 2011 IEEE Computer Society Annual

✍ Vaddina, Kameswar Rao; Rahmani, Amir-Mohammad; Latif, Khalid; Liljeberg, Pasi; P 📂 Article 📅 2011 🏛 IEEE ⚖ 251 KB

[IEEE 2011 IEEE Computer Society Annual

✍ Sahu, Pradip Kumar; Venkatesh, Putta; Gollapalli, Sunilraju; Chattopadhyay, Sant 📂 Article 📅 2011 🏛 IEEE ⚖ 246 KB

[IEEE 2011 IEEE Computer Society Annual

✍ Hidaji, Babak; Alipour, Salar; Subramaniyan, Kasyab P.; Larsson-Edefors, Per 📂 Article 📅 2011 🏛 IEEE ⚖ 287 KB