I have recently started using yosys, synthesized a DSP block with cmos_cells.lib and got following results:
ABC RESULTS: NAND cells: 2579