Tools

SynthGen

This is a framework that generates synthetic benchmarks optimized to have maximum variation from the reference benchmarks. It utilizes linear optimization to generate an endless number of synthetic combinational benchmarks that are adaptable to user input constraints and divergent in quantifiable structural features from input reference benchmarks. This framework offers customization for generating richer and more challenging benchmarks for data-driven hardware security.