Pinned Loading

1. AES-128-Encryption-Verification AES-128-Encryption-Verification Public

   Verification of Advanced Encryption Standard (AES-128) Using the Universal Verification Methodology (UVM).

   Verilog

2. Memory-Verification-using-UVM Memory-Verification-using-UVM Public

   Verification of Memory Using Class Based Environment and UVM Environment.

   SystemVerilog

3. ROBDD-Based-Equivalence-Checker ROBDD-Based-Equivalence-Checker Public

   Designing Equivalence Checker based on ROBDD algorithm, the engine input will be 2 boolean functions and results will be ROBDD graphs with equivalence or non-equivalence results.

   Python

4. Quine-McCluskey-Boolean-Minimizer Quine-McCluskey-Boolean-Minimizer Public

   The Quine-McCluskey algorithm is a method used for minimizing Boolean expressions.

   Python