Automated Functional Coverage for a Digital System Based on a Binary Differential Evolution Algorithm