Files
yosys/techlibs/microchip/tests/postAdd_mult