smalldog
Junior Member level 2
1.test-bench automation
2.constrained-random verification
3.assertion-based verification
4.functional coverage-driven verification
5.formal verification (static and dynamic)
6.transaction-level modeling.
2.constrained-random verification
3.assertion-based verification
4.functional coverage-driven verification
5.formal verification (static and dynamic)
6.transaction-level modeling.