✦ LIBER ✦

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - A compositional theory for post-reboot observational equivalence checking of hardware

✍ Scribed by Khasidashvili, Zurab; Kaiss, Daher; Bustan, Doron

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 Formal Methods in Computer-Ai

✍ Case, Michael L.; Mony, Hari; Baumgartner, Jason; Kanzelman, Robert 📂 Article 📅 2009 🏛 IEEE ⚖ 168 KB

[IEEE 2009 Formal Methods in Computer-Ai

✍ van den Broek, Tom; Schmaltz, Julien 📂 Article 📅 2009 🏛 IEEE ⚖ 106 KB

[IEEE 2009 Formal Methods in Computer-Ai

✍ Kailas, Krishnan; Paruthi, Viresh; Monwai, Brian 📂 Article 📅 2009 🏛 IEEE ⚖ 129 KB

[IEEE 2009 Formal Methods in Computer-Ai

✍ Ganai, Malay K.; Ivancic, Franjo 📂 Article 📅 2009 🏛 IEEE ⚖ 240 KB

[IEEE Formal Methods in Computer Aided D

✍ Zaraket, Fadi; Pape, John; Aziz, Adnan; Jacome, Magarida; Khurshid, Sarfraz 📂 Article 📅 2007 🏛 IEEE ⚖ 195 KB

[IEEE Formal Methods in Computer Aided D

✍ Chen, Xiaofang; German, Steven M.; Gopalakrishnan, Ganesh 📂 Article 📅 2007 🏛 IEEE ⚖ 246 KB