Dx80ce820syn213brelpkg

Since this is a technical identifier rather than a title, you will not find it in a library. Instead, look for the manufacturer's documentation:

The "relpkg" suffix indicates this is a Release Package containing board support files. dx80ce820syn213brelpkg

Without specific information, the most accurate advice is: Since this is a technical identifier rather than