👋 Hi, I’m @MenachemRapp 👀 I’m interested in Formal Verification 🌱 I know Verilog, SVA assertions, python, C#, Java, C++/C and more. 📫 How to reach me menachemr27@gmail.com