An Automatic Functional Coverage for Digital Systems Through a Binary Particle Swarm Optimization Algorithm with a Reinitialization Mechanism
GoldMine: Automatic assertion generation using data mining and static analysis