renamed KC705.bsv to TopKC705.bsv