Register-Transfer-Level Benchmark Circuits