Update Test-Bench.v