求翻译：this can be verfied with the aid of a design-rule checker ,which uses as inputs the physical layout of a design and a description of the design rules presented in the form of a technology file是什么意思？