A Benchmark Suite of RT-level Hardware Trojansfor Pipelined Microprocessor Cores