bibliographic details : 可编程逻辑器件与EDA技术