bibliographic details : EDA技术与设计