Synthesis of testable PLAs using adaptive heuristics for efficiency | IEEE Conference Publication | IEEE Xplore