Try synthesizing 48-bit mat mult.