-
🌱 Ninajifunza kuhusu formal methods using Seahorn
- Using Automated Reasoning techniques to verify hardware circuits represented in
btor2
- Writing verification conditions in an intermediate representation using MLIR
- Using Automated Reasoning techniques to verify hardware circuits represented in
-
🔭 Jag tar examen med en Bachelor of Software Engineering @ uWaterloo
- Added on a minor in Cognitive Sciences
- An Option in Artificail Intelligence
-
👯 የእኔ ቡድን at uConverse is connecting students worldwide
- If you're a student looking for a university, hop on and chat with us
- If you are a university student, sign up to talk to prospective students about uni life
- If you're a university administrator, dm me, and we can set your school up with our services
-
💬 Gaafi qaabda? Let's expand on:
- The Engineering Mindset
simul justus et peccator
- The journey of maturing as a Software Engineer
-
📫 Me joindre à: [email protected]
jetafese / btor2mlir Goto Github PK
View Code? Open in Web Editor NEWThis project forked from agurfinkel/btor2mlir
Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification