Synthesis of testable pipelined datapaths using genetic search | IEEE Conference Publication | IEEE Xplore