验证形式化工具包电路设计
原版中商帕里信号处理
电路设计InternationalSymposium超大规模
集成电路MicrofluidicIntegrationSimulation
VLSIArchitecture算法Algorithms
集成电路Verification纳米Soc
VlsiEngineeringElectronicsSoc
VLSIApplications符号Advanced
电路设计Experience超大规模Learning
VerilogIntroductionDescriptionHardware
VLSITechniquesReductionAdvanced
集成电路AutomationPractical超大规模
集成电路SocSelection超大规模
神经系统VLSIImplementationSystems
VLSIFPGAASICImplementations
增益功耗VLSI嵌入式
集成电路Validation轨迹超大规模
VLSIEngineeringArtificial人工
硅片表面处理VLSIManufacturing
互连VLSIInterconnects纳米
VLSIDependability可靠性Systems
集成电路OptimizationEvolutionary算法
编码器Architectures算法Algorithms
选集VLSI2010研讨会
VlsiInternationalConferenceSoc
医药图书复杂性VLSI混沌
功耗VLSI电路Circuits
VLSI芯片存储海外
互连集成电路OptimizationInterconnect
电路设计CrossTalkAvoidance超大规模
集成电路PrinciplesRtlPractical
最小化VLSI泄漏集成电路
误差集成电路可靠性Reliability
存储器VlsiVolatileMemories
数据结构VLSI算法Foundations
9780961672140原版IntegrationProcessing
