Using Integer Linear Programming in Test-bench Generation for Evaluating Communication Processors | IEEE Conference Publication | IEEE Xplore