low: fix --nocheck option
high: Fixed service implementation and updated testbench