Scalable Parallel Genetic Algorithm For Solving Large Integer Linear Programming Models Derived From Behavioral Synthesis | IEEE Conference Publication | IEEE Xplore