Automated Test Generation for Validating SystemC Designs