Software Testing Verification

Research Frontiers in Equivalence Checking and Circuit Verification

Techniques for verifying functional equivalence between hardware designs and detecting design errors.

All Software Testing & Verification PhD categories