Heuristic approach for program partitioning and allocation:implementation and resultsHOOVER: hardware object-oriented verification
