经检验，此XilinxSpartan-6封装库完全可用，满足您进行EDA设计所需。