Functional verification of intellectual properties (IP): a simulation-based solution for an application-specific instruction-set processor.