Synthetic Benchmark Generation Using Attributed Graph Grammars For Hardware Security Applications