Characterization and parameterized generation of synthetic combinational benchmark circuits | IEEE Journals & Magazine | IEEE Xplore