hardware-security Open-Crypto-HDL Production-grade cryptographic RTL library with formal verification — AES-256-GCM, ChaCha20-Poly1305, DES/3DES JTAG TAP Controller — Formal Verification Full 16-state SVA property proofs via SymbiYosys for an IEEE 1149.1-compliant TAP controller systems Superscalar Pipeline Simulator Cycle-accurate C++ simulator for an out-of-order execution, dual-issue superscalar MIPS processor side-projects Nifty Options Backtester High-performance options backtesting engine in C++ for the Indian market FraudShield Real-time fraud detection pipeline for financial transactions using stream processing and ML