✦ LIBER ✦

Models and formal verification of multiprocessor system-on-chips

✍ Scribed by Aske Brekling; Michael R. Hansen; Jan Madsen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal automatic verification of cache c

✍ Fong Pong; Dubois, M. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 409 KB

Design and Implementation of an On-Chip

✍ Pham, Phi-Hung; Song, Junyoung; Park, Jongsun; Kim, Chulwoo 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 909 KB

Formal verification of circuits and syst

✍ P. P. Chakrabarti 📂 Article 📅 2002 🏛 Indian Academy of Sciences 🌐 English ⚖ 9 KB

System-on-a-chip verification~methodolog

✍ Ferrari, F. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 163 KB

Modeling and formal verification of embe

✍ Luis Alejandro Cortés; Petru Eles; Zebo Peng 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Verification of interdomain routing syst

✍ Zang, Zhiyuan; Luo, Guiming; Yin, Chongyuan 📂 Article 📅 2009 🏛 Bioline International 🌐 English ⚖ 338 KB