🎯
Focusing
I am a learner & looking into formal methods research.
I am currently going through the work of my mentor Late Pramod Subramanyan sir.
- India
Popular repositories Loading
-
-
uclid
uclid PublicForked from uclid-org/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
Scala
-
-
-
Hamming-ECC
Hamming-ECC PublicForked from pramodsu/Hamming-ECC
Hamming ECC Encoder and Decoder to protect memories
SystemVerilog
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.