Better coverage and fix split HDL generation.