Madhav Bhalke

- MBIST implementation for gate level netlist at block level with Tessent MBIST.

- MBIST controller validation by simulation with ModelSim.

- Formal Equivalence Checking between the Pre and PostLV netlists with Formality.

- Scan Insertion and Compressor Implementation using DFT Compiler.

- Formal Equivalence Checking between the Pre and PostDFT netlists with Formality.

- Pattern Generation for Stuck and Transition fault Models with Tetramax.

- Coverage Improvement, and achieved 99% for S-A-F.

- Pattern Validation by Simulation with ModelSim.

- And also having good expertise with Tessent Testkompress for Compressor Implementation and Pattern generation.