Technology mapping for field-programmable gate arrays