Characterization and parameterized generation of synthetic combinational benchmark circuits