LATTICE timing_closure_notes
集成电路专业英语词汇

Abrupt junction 突变结Accelerated testing 加速实验Acceptor 受主Acceptor atom 受主原子Accumulation 积累、堆积Accumulating contact 积累接触Accumulation region 积累区Accumulation layer 积累层Active region 有源区Active component 有源元Active device 有源器件Activation 激活Activation energy 激活能Active region 有源(放大)区Admittance 导纳Allowed band 允带Alloy-junction device合金结器件Aluminum(Aluminium) 铝Aluminum – oxide 铝氧化物Aluminum passivation 铝钝化Ambipolar 双极的Ambient temperature 环境温度Amorphous 无定形的,非晶体的Amplifier 功放扩音器放大器Analogue(Analog) comparator 模拟比较器Angstrom 埃Anneal 退火Anisotropic 各向异性的Anode 阳极Arsenic (AS) 砷Auger 俄歇Auger process 俄歇过程Avalanche 雪崩Avalanche breakdown 雪崩击穿Avalanche excitation雪崩激发Background carrier 本底载流子Background doping 本底掺杂Backward 反向Backward bias 反向偏置Ballasting resistor 整流电阻Ball bond 球形键合Band 能带Band gap 能带间隙Barrier 势垒Barrier layer 势垒层Barrier width 势垒宽度Base 基极Base contact 基区接触Base stretching 基区扩展效应Base transit time 基区渡越时间Base transport efficiency基区输运系数Base-width modulation基区宽度调制Basis vector 基矢Bias 偏置Bilateral switch 双向开关Binary code 二进制代码Binary compound semiconductor 二元化合物半导体Bipolar 双极性的Bipolar Junction Transistor (BJT)双极晶体管Bloch 布洛赫Blocking band 阻挡能带Blocking contact 阻挡接触Body - centered 体心立方Body-centred cubic structure 体立心结构Boltzmann 波尔兹曼Bond 键、键合Bonding electron 价电子Bonding pad 键合点Bootstrap circuit 自举电路Bootstrapped emitter follower 自举射极跟随器Boron 硼Borosilicate glass 硼硅玻璃Boundary condition 边界条件Bound electron 束缚电子Breadboard 模拟板、实验板Break down 击穿Break over 转折Brillouin 布里渊Brillouin zone 布里渊区Built-in 内建的Build-in electric field 内建电场Bulk 体/体内Bulk absorption 体吸收Bulk generation 体产生Bulk recombination 体复合Burn - in 老化Burn out 烧毁Buried channel 埋沟Buried diffusion region 隐埋扩散区Can 外壳Capacitance 电容Capture cross section 俘获截面Capture carrier 俘获载流子Carrier 载流子、载波Carry bit 进位位Carry-in bit 进位输入Carry-out bit 进位输出Cascade 级联Case 管壳Cathode 阴极Center 中心Ceramic 陶瓷(的)Channel 沟道Channel breakdown 沟道击穿Channel current 沟道电流Channel doping 沟道掺杂Channel shortening 沟道缩短Channel width 沟道宽度Characteristic impedance 特征阻抗Charge 电荷、充电Charge-compensation effects 电荷补偿效应Charge conservation 电荷守恒Charge neutrality condition 电中性条件Charge drive/exchange/sharing/transfer/storage 电荷驱动/交换/共享/转移/存储Chemmical etching 化学腐蚀法Chemically-Polish 化学抛光Chemmically-Mechanically Polish (CMP) 化学机械抛光Chip 芯片Chip yield 芯片成品率Clamped 箝位Clamping diode 箝位二极管Cleavage plane 解理面Clock rate 时钟频率Clock generator 时钟发生器Clock flip-flop 时钟触发器Close-packed structure 密堆积结构Close-loop gain 闭环增益Collector 集电极Collision 碰撞Compensated OP-AMP 补偿运放Common-base/collector/emitter connection 共基极/集电极/发射极连接Common-gate/drain/source connection 共栅/漏/源连接Common-mode gain 共模增益Common-mode input 共模输入Common-mode rejection ratio (CMRR) 共模抑制比Compatibility 兼容性Compensation 补偿Compensated impurities 补偿杂质Compensated semiconductor 补偿半导体Complementary Darlington circuit 互补达林顿电路Complementary Metal-Oxide-Semiconductor Field-Effect-Transistor(CMOS)互补金属氧化物半导体场效应晶体管Complementary error function 余误差函数Computer-aided design (CAD)/test(CAT)/manufacture(CAM) 计算机辅助设计/ 测试/制造Compound Semiconductor 化合物半导体Conductance 电导Conduction band (edge) 导带(底) Conduction level/state 导带态Conductor 导体Conductivity 电导率Configuration 组态Conlomb 库仑Conpled Configuration Devices 结构组态Constants 物理常数Constant energy surface 等能面Constant-source diffusion恒定源扩散Contact 接触Contamination 治污Continuity equation 连续性方程Contact hole 接触孔Contact potential 接触电势Continuity condition 连续性条件Contra doping 反掺杂Controlled 受控的Converter 转换器Conveyer 传输器Copper interconnection system 铜互连系统Couping 耦合Covalent 共阶的Crossover 跨交Critical 临界的Crossunder 穿交Crucible坩埚Crystal defect/face/orientation/lattice 晶体缺陷/晶面/晶向/晶格Current density 电流密度Curvature 曲率Cut off 截止Current drift/dirve/sharing 电流漂移/驱动/共享Current Sense 电流取样Curvature 弯曲Custom integrated circuit 定制集成电路Cylindrical 柱面的Czochralshicrystal 直立单晶Czochralski technique 切克劳斯基技术(Cz法直拉晶体J)Dangling bonds 悬挂键Dark current 暗电流Dead time 空载时间Debye length 德拜长度De.broglie 德布洛意Decderate 减速Decibel (dB) 分贝Decode 译码Deep acceptor level 深受主能级Deep donor level 深施主能级Deep impurity level 深度杂质能级Deep trap 深陷阱Defeat 缺陷Degenerate semiconductor 简并半导体Degeneracy 简并度Degradation 退化Degree Celsius(centigrade) /Kelvin 摄氏/开氏温度Delay 延迟Density 密度Density of states 态密度Depletion 耗尽Depletion approximation 耗尽近似Depletion contact 耗尽接触Depletion depth 耗尽深度Depletion effect 耗尽效应Depletion layer 耗尽层Depletion MOS 耗尽MOS Depletion region 耗尽区Deposited film 淀积薄膜Deposition process 淀积工艺Design rules 设计规则Die 芯片(复数dice)Diode 二极管Dielectric 介电的Dielectric isolation 介质隔离Difference-mode input 差模输入Differential amplifier 差分放大器Differential capacitance 微分电容Diffused junction 扩散结Diffusion 扩散Diffusion coefficient 扩散系数Diffusion constant 扩散常数Diffusivity 扩散率Diffusion capacitance/barrier/current/furnace 扩散电容/势垒/电流/炉Digital circuit 数字电路Dipole domain 偶极畴Dipole layer 偶极层Direct-coupling 直接耦合Direct-gap semiconductor 直接带隙半导体Direct transition 直接跃迁Discharge 放电Discrete component 分立元件Dissipation 耗散Distribution 分布Distributed capacitance 分布电容Distributed model 分布模型Displacement 位移Dislocation 位错Domain 畴Donor 施主Donor exhaustion 施主耗尽Dopant 掺杂剂Doped semiconductor 掺杂半导体Doping concentration 掺杂浓度Double-diffusive MOS(DMOS)双扩散MOS.Drift 漂移Drift field 漂移电场Drift mobility 迁移率Dry etching 干法腐蚀Dry/wet oxidation 干/湿法氧化Dose 剂量Duty cycle 工作周期Dual-in-line package (DIP)双列直插式封装Dynamics 动态Dynamic characteristics 动态属性Dynamic impedance 动态阻抗Early effect 厄利效应Early failure 早期失效Effective mass 有效质量Einstein relation(ship) 爱因斯坦关系Electric Erase Programmable Read Only Memory(E2PROM) 一次性电可擦除只读存储器Electrode 电极Electrominggratim 电迁移Electron affinity 电子亲和势Electronic -grade 电子能Electron-beam photo-resist exposure 光致抗蚀剂的电子束曝光Electron gas 电子气Electron-grade water 电子级纯水Electron trapping center 电子俘获中心Electron Volt (eV) 电子伏Electrostatic 静电的Element 元素/元件/配件Elemental semiconductor 元素半导体Ellipse 椭圆Ellipsoid 椭球Emitter 发射极Emitter-coupled logic 发射极耦合逻辑Emitter-coupled pair 发射极耦合对Emitter follower 射随器Empty band 空带Emitter crowding effect 发射极集边(拥挤)效应Endurance test =life test 寿命测试Energy state 能态Energy momentum diagram 能量-动量(E-K)图Enhancement mode 增强型模式Enhancement MOS 增强性MOS Entefic (低)共溶的Environmental test 环境测试Epitaxial 外延的Epitaxial layer 外延层Epitaxial slice 外延片Expitaxy 外延Equivalent curcuit 等效电路Equilibrium majority /minority carriers 平衡多数/少数载流子Erasable Programmable ROM (EPROM)可搽取(编程)存储器Error function complement 余误差函数Etch 刻蚀Etchant 刻蚀剂Etching mask 抗蚀剂掩模Excess carrier 过剩载流子Excitation energy 激发能Excited state 激发态Exciton 激子Extrapolation 外推法Extrinsic 非本征的Extrinsic semiconductor 杂质半导体Face - centered 面心立方Fall time 下降时间Fan-in 扇入Fan-out 扇出Fast recovery 快恢复Fast surface states 快界面态Feedback 反馈Fermi level 费米能级Fermi-Dirac Distribution 费米-狄拉克分布Femi potential 费米势Fick equation 菲克方程(扩散)Field effect transistor 场效应晶体管Field oxide 场氧化层Filled band 满带Film 薄膜Flash memory 闪烁存储器Flat band 平带Flat pack 扁平封装Flicker noise 闪烁(变)噪声Flip-flop toggle 触发器翻转Floating gate 浮栅Fluoride etch 氟化氢刻蚀Forbidden band 禁带Forward bias 正向偏置Forward blocking /conducting正向阻断/导通Frequency deviation noise频率漂移噪声Frequency response 频率响应Function 函数Gain 增益Gallium-Arsenide(GaAs) 砷化钾Gamy ray r 射线Gate 门、栅、控制极Gate oxide 栅氧化层Gauss(ian)高斯Gaussian distribution profile 高斯掺杂分布Generation-recombination 产生-复合Geometries 几何尺寸Germanium(Ge) 锗Graded 缓变的Graded (gradual) channel 缓变沟道Graded junction 缓变结Grain 晶粒Gradient 梯度Grown junction 生长结Guard ring 保护环Gummel-Poom model 葛谋-潘模型Gunn - effect 狄氏效应Hardened device 辐射加固器件Heat of formation 形成热Heat sink 散热器、热沉Heavy/light hole band 重/轻空穴带Heavy saturation 重掺杂Hell - effect 霍尔效应Heterojunction 异质结Heterojunction structure 异质结结构Heterojunction Bipolar Transistor(HBT)异质结双极型晶体High field property 高场特性High-performance MOS.( H-MOS)高性能MOS. Hormalized 归一化Horizontal epitaxial reactor 卧式外延反应器Hot carrior 热载流子Hybrid integration 混合集成Image - force 镜象力Impact ionization 碰撞电离Impedance 阻抗Imperfect structure 不完整结构Implantation dose 注入剂量Implanted ion 注入离子Impurity 杂质Impurity scattering 杂志散射Incremental resistance 电阻增量(微分电阻)In-contact mask 接触式掩模Indium tin oxide (ITO) 铟锡氧化物Induced channel 感应沟道Infrared 红外的Injection 注入Input offset voltage 输入失调电压Insulator 绝缘体Insulated Gate FET(IGFET)绝缘栅FET Integrated injection logic集成注入逻辑Integration 集成、积分Interconnection 互连Interconnection time delay 互连延时Interdigitated structure 交互式结构Interface 界面Interference 干涉International system of unions国际单位制Internally scattering 谷间散射Interpolation 内插法Intrinsic 本征的Intrinsic semiconductor 本征半导体Inverse operation 反向工作Inversion 反型Inverter 倒相器Ion 离子Ion beam 离子束Ion etching 离子刻蚀Ion implantation 离子注入Ionization 电离Ionization energy 电离能Irradiation 辐照Isolation land 隔离岛Isotropic 各向同性Junction FET(JFET) 结型场效应管Junction isolation 结隔离Junction spacing 结间距Junction side-wall 结侧壁Latch up 闭锁Lateral 横向的Lattice 晶格Layout 版图Lattice binding/cell/constant/defect/distortion 晶格结合力/晶胞/晶格/晶格常熟/晶格缺陷/晶格畸变Leakage current (泄)漏电流Level shifting 电平移动Life time 寿命linearity 线性度Linked bond 共价键Liquid Nitrogen 液氮Liquid-phase epitaxial growth technique 液相外延生长技术Lithography 光刻Light Emitting Diode(LED) 发光二极管Load line or Variable 负载线Locating and Wiring 布局布线Longitudinal 纵向的Logic swing 逻辑摆幅Lorentz 洛沦兹Lumped model 集总模型Majority carrier 多数载流子Mask 掩膜板,光刻板Mask level 掩模序号Mask set 掩模组Mass - action law质量守恒定律Master-slave D flip-flop主从D触发器Matching 匹配Maxwell 麦克斯韦Mean free path 平均自由程Meandered emitter junction梳状发射极结Mean time before failure (MTBF) 平均工作时间Megeto - resistance 磁阻Mesa 台面MESFET-Metal Semiconductor金属半导体FETMetallization 金属化Microelectronic technique 微电子技术Microelectronics 微电子学Millen indices 密勒指数Minority carrier 少数载流子Misfit 失配Mismatching 失配Mobile ions 可动离子Mobility 迁移率Module 模块Modulate 调制Molecular crystal分子晶体Monolithic IC 单片IC MOSFET金属氧化物半导体场效应晶体管Mos. Transistor(MOST )MOS. 晶体管Multiplication 倍增Modulator 调制Multi-chip IC 多芯片ICMulti-chip module(MCM) 多芯片模块Multiplication coefficient倍增因子Naked chip 未封装的芯片(裸片)Negative feedback 负反馈Negative resistance 负阻Nesting 套刻Negative-temperature-coefficient 负温度系数Noise margin 噪声容限Nonequilibrium 非平衡Nonrolatile 非挥发(易失)性Normally off/on 常闭/开Numerical analysis 数值分析Occupied band 满带Officienay 功率Offset 偏移、失调On standby 待命状态Ohmic contact 欧姆接触Open circuit 开路Operating point 工作点Operating bias 工作偏置Operational amplifier (OPAMP)运算放大器Optical photon =photon 光子Optical quenching光猝灭Optical transition 光跃迁Optical-coupled isolator光耦合隔离器Organic semiconductor有机半导体Orientation 晶向、定向Outline 外形Out-of-contact mask非接触式掩模Output characteristic 输出特性Output voltage swing 输出电压摆幅Overcompensation 过补偿Over-current protection 过流保护Over shoot 过冲Over-voltage protection 过压保护Overlap 交迭Overload 过载Oscillator 振荡器Oxide 氧化物Oxidation 氧化Oxide passivation 氧化层钝化Package 封装Pad 压焊点Parameter 参数Parasitic effect 寄生效应Parasitic oscillation 寄生振荡Passination 钝化Passive component 无源元件Passive device 无源器件Passive surface 钝化界面Parasitic transistor 寄生晶体管Peak-point voltage 峰点电压Peak voltage 峰值电压Permanent-storage circuit 永久存储电路Period 周期Periodic table 周期表Permeable - base 可渗透基区Phase-lock loop 锁相环Phase drift 相移Phonon spectra 声子谱Photo conduction 光电导Photo diode 光电二极管Photoelectric cell 光电池Photoelectric effect 光电效应Photoenic devices 光子器件Photolithographic process 光刻工艺(photo) resist (光敏)抗腐蚀剂Pin 管脚Pinch off 夹断Pinning of Fermi level 费米能级的钉扎(效应)Planar process 平面工艺Planar transistor 平面晶体管Plasma 等离子体Plezoelectric effect 压电效应Poisson equation 泊松方程Point contact 点接触Polarity 极性Polycrystal 多晶Polymer semiconductor聚合物半导体Poly-silicon 多晶硅Potential (电)势Potential barrier 势垒Potential well 势阱Power dissipation 功耗Power transistor 功率晶体管Preamplifier 前置放大器Primary flat 主平面Principal axes 主轴Print-circuit board(PCB) 印制电路板Probability 几率Probe 探针Process 工艺Propagation delay 传输延时Pseudopotential method 膺势发Punch through 穿通Pulse triggering/modulating 脉冲触发/调制PulseWiden Modulator(PWM) 脉冲宽度调制Punchthrough 穿通Push-pull stage 推挽级Quality factor 品质因子Quantization 量子化Quantum 量子Quantum efficiency量子效应Quantum mechanics 量子力学Quasi – Fermi-level准费米能级Quartz 石英Radiation conductivity 辐射电导率Radiation damage 辐射损伤Radiation flux density 辐射通量密度Radiation hardening 辐射加固Radiation protection 辐射保护Radiative - recombination辐照复合Radioactive 放射性Reach through 穿通Reactive sputtering source 反应溅射源Read diode 里德二极管Recombination 复合Recovery diode 恢复二极管Reciprocal lattice 倒核子Recovery time 恢复时间Rectifier 整流器(管)Rectifying contact 整流接触Reference 基准点基准参考点Refractive index 折射率Register 寄存器Registration 对准Regulate 控制调整Relaxation lifetime 驰豫时间Reliability 可靠性Resonance 谐振Resistance 电阻Resistor 电阻器Resistivity 电阻率Regulator 稳压管(器)Relaxation 驰豫Resonant frequency共射频率Response time 响应时间Reverse 反向的Reverse bias 反向偏置Sampling circuit 取样电路Sapphire 蓝宝石(Al2O3)Satellite valley 卫星谷Saturated current range电流饱和区Saturation region 饱和区Saturation 饱和的Scaled down 按比例缩小Scattering 散射Schockley diode 肖克莱二极管Schottky 肖特基Schottky barrier 肖特基势垒Schottky contact 肖特基接触Schrodingen 薛定厄Scribing grid 划片格Secondary flat 次平面Seed crystal 籽晶Segregation 分凝Selectivity 选择性Self aligned 自对准的Self diffusion 自扩散Semiconductor 半导体Semiconductor-controlled rectifier 可控硅Sendsitivity 灵敏度Serial 串行/串联Series inductance 串联电感Settle time 建立时间Sheet resistance 薄层电阻Shield 屏蔽Short circuit 短路Shot noise 散粒噪声Shunt 分流Sidewall capacitance 边墙电容Signal 信号Silica glass 石英玻璃Silicon 硅Silicon carbide 碳化硅Silicon dioxide (SiO2) 二氧化硅Silicon Nitride(Si3N4) 氮化硅Silicon On Insulator 绝缘硅Siliver whiskers 银须Simple cubic 简立方Single crystal 单晶Sink 沉Skin effect 趋肤效应Snap time 急变时间Sneak path 潜行通路Sulethreshold 亚阈的Solar battery/cell 太阳能电池Solid circuit 固体电路Solid Solubility 固溶度Sonband 子带Source 源极Source follower 源随器Space charge 空间电荷Specific heat(PT) 热Speed-power product 速度功耗乘积Spherical 球面的Spin 自旋Split 分裂Spontaneous emission 自发发射Spreading resistance扩展电阻Sputter 溅射Stacking fault 层错Static characteristic 静态特性Stimulated emission 受激发射Stimulated recombination 受激复合Storage time 存储时间Stress 应力Straggle 偏差Sublimation 升华Substrate 衬底Substitutional 替位式的Superlattice 超晶格Supply 电源Surface 表面Surge capacity 浪涌能力Subscript 下标Switching time 开关时间Switch 开关Tailing 扩展Terminal 终端Tensor 张量Tensorial 张量的Thermal activation 热激发Thermal conductivity 热导率Thermal equilibrium 热平衡Thermal Oxidation 热氧化Thermal resistance 热阻Thermal sink 热沉Thermal velocity 热运动Thermoelectricpovoer 温差电动势率Thick-film technique 厚膜技术Thin-film hybrid IC薄膜混合集成电路Thin-Film Transistor(TFT) 薄膜晶体Threshlod 阈值Thyistor 晶闸管Transconductance 跨导Transfer characteristic 转移特性Transfer electron 转移电子Transfer function 传输函数Transient 瞬态的Transistor aging(stress) 晶体管老化Transit time 渡越时间Transition 跃迁Transition-metal silica 过度金属硅化物Transition probability 跃迁几率Transition region 过渡区Transport 输运Transverse 横向的Trap 陷阱Trapping 俘获Trapped charge 陷阱电荷Triangle generator 三角波发生器Triboelectricity 摩擦电Trigger 触发Trim 调配调整Triple diffusion 三重扩散Truth table 真值表Tolerahce 容差Tunnel(ing) 隧道(穿)Tunnel current 隧道电流Turn over 转折Turn - off time 关断时间Ultraviolet 紫外的Unijunction 单结的Unipolar 单极的Unit cell 原(元)胞Unity-gain frequency 单位增益频率Unilateral-switch单向开关Vacancy 空位Vacuum 真空Valence(value) band 价带Value band edge 价带顶Valence bond 价键Vapour phase 汽相Varactor 变容管Varistor 变阻器Vibration 振动Voltage 电压Wafer 晶片Wave equation 波动方程Wave guide 波导Wave number 波数Wave-particle duality 波粒二相性Wear-out 烧毁Wire routing 布线Work function 功函数Worst-case device 最坏情况器件Yield 成品率Zener breakdown 齐纳击穿Zone melting 区熔法。
电子科学与技术专业英语微电子技术分册部分单词

子技术分册部分单词子技术分册部分单词缩略词:BJT 双极结型晶体管 Bipolar Junction TransistorLED 发光二极管 Light Emitting DiodeMOS 金属氧化物半导体场效应晶体管 Metal Oxide SemiconductorFET 场效应晶体管 Filed Effect Transistorbcc 体心立方 Body-centered cubicfcc 面心立方 Face-centered cubicSOI Silicon-On-Insulator绝缘层上硅结构CVD Chemical Vapor Deposition化学气相淀积+ plus/positive - negative * minus / negativeX2 X square the square root of X3 x cube the cubic root of X y X to the yth单词:Semiconductor半导体transition 跃迁Conductivit电导率diffusivity piecewise 分段扩散率 resistivity 电阻率diffusivity 扩散系数Bipolar transistor 双极型晶体管 step junction 突变结Rectifie整流器 metallurgical junction 合金结Photodiode 光电二极管 fermi level 费米能级Leakage current 漏电流exponential 指数的Silicon dioxide 二氧化硅 dopant 掺杂Lattice 晶格dielectric 电解质 dislodge 移出Unit cell 晶胞 Facet 晶面bonding 键合phonon 声子Lattice constant 晶格常数 tetrahedral 四面体的 Diamond lattice 金刚石晶格Level energy 能级 Miller indices 弥勒指数 acoustic 声学的Hole 空穴lifetime 寿命Permittivity 介电常数continuity equation连续方程Covalent bonding 共价键 impurity 杂质Conduct/valence band 导带,价带device 装置,器件Effective density of states 有效态密度 magnetic 有磁性的Intrinsic 本征的 illumination 照明 silicon ,gallium,germanium,gallium arsenideExtrinsic 非本征的 reciprocal 倒数,相反的Carrier 载流子 agitation 激动,搅拌Bandgap 能带间隙 incremental 增加的Mass action law 质量作用定律excitation 激发Donor acceptor 施主受主Injection 注入collision 冲突,抵触impact ionization 碰撞电离superimposed 叠加sufficient 充分的Scatter 散射Drift 漂移 succession 连续的 drift velocity 漂移速度Mean free time /path 平均自由时间/程Mobility 迁移率saturation 饱和Recombination 复合 spatial 空间overwhelm vt.压倒;淹没;受打击 Decay 衰减Abrupt 突变 derivative 衍生物bias 偏见 gradient 梯度;magnitude 量级 Direct Recombination 直接复合Photoconductivity 光电导 potential barrier [物] 势垒;[电子] 位垒;voltmeter 电压计quantitative 定量的amplification 放大(率steady state 恒稳态;transient state 瞬态;过渡状态; qualitative .定性的rectification n. [电] 整流 equilibrium condition 平衡态endeavor 努力 conceive 设想;考虑 ; postulate.假定 unfolding 演变; Prime n. 初期; Primitive 原始的,简单的,粗糙的; artistic adj. 艺术的;supervisor n. 监督人,管理人;检查员;Instinct n. 本能,直觉 analog n.模拟;类似物analytical adj. 分析的 genuine adj. 真实的,真正的 inferior n. 下级;次品 acronym n. 首字母缩略词; insofar as 在…的范围内;到…程度; embodimentn. 体现;化身;具体化 ;proliferate vi. 增殖;扩散;激增vt.使激增;constantly adv. 不断地;时常地; complementary adj. 补足的,补充的; dissipation n.浪费;消散;[物] 损耗; vehicle n. [车辆] 车辆;工具;交通工具;传播媒介Parallelepiped n. 平行六面体; metallurgical adj. 冶金的;冶金学的; Pedestal n. 基架,基座; analogous adj. 类似的;可比拟的; Ambiguity n.含糊;不明确; retain vt.保持;雇;记住; Resemblance n. 相似;相似之处prototypical adj. 原型的;典型的; Parasitic adj. 寄生的(等于parasitical);Vestigial adj. 退化的;残余的;发育不全的;parallel n. 平行线平行的 Grooves n. 细槽,凹槽simultaneously同时发生地 remnant n. 剩余adj. 剩余的;Mount n. 山峰;底座; Acknowledge 承认; disturbance 干扰; inevitable 不可避免的;inherent 固有的; subsume 把。
水利水电工程专业英语英文词汇

水利水电工程专业英语英文词汇strain meter 应变计set out 放线、放样stake-line temperature sensor 温度传感器测桩线state plane coordinate system 国家平面坐标集线站terminal station其他(Others)系survey point 测点check hole 检查孔theoretical point 灌区理论点compartmenttraverse(polygon) 导线(测dense mix 浓浆量)、横断error of traverse 导线闭合差foundation uplift 基础隆起lattice traverse 网格状导线灌浆孔grout holelong side traverse instrument hole 仪器孔长导线open traverse 非闭合primary/secondary and tertiary grout holes 一导线short side traverse 短导线序、二序、三序灌浆孔traverse closure 导线闭合加密灌浆孔距spilt spacingtraverse station 导线点waste mix 弃浆traverse survey 导线测量Survey◆测量()triangulation 测量方法及术语(Methods and Terms)三角测量triangulation network 三角网调整校正adjust 、triangulation of high order 高等级三角网adjustment 平差triangulation point 容许误差allowance 三角点三边测量backsight point 后视点trilateration程控制网basic point 基础点vertical-control net 高bench mark 水准点木桩wood pile Angular Measure)角度测量(compass 罗盘azimuth 方位角chainage(station number) 桩号象限角bearing 方位三角锁chain of triangulation 、器、水准buddle 、check 校核对照气泡圆盘circle 度盘、控制control point 点器圆水坐标点coordinate point 准circular bubbledatum 基础面轴视准collimation axis点基datum point 准十字丝cross-line(cross-hair)偏差depression angle 俯角deviationeasily identifiable point elevation angle 仰角点容易识别eyepiece(ocular) error 误差目镜量field pole(staff) 标杆一等三角测first order triangulationgeodetic foot-screw 学的大地测量脚螺栓量geodetic surveying 大地测水平角horizontal angle量合联测)mark 标志(明joint survey已知点known point 物镜objective lens面水level surface 准垂线铅垂、plumb(plummet)局local triangulation networks 准、观测sight 瞄部三角网准瞄target 国national coordination system 家坐标网目标、监视观测observe 、纬仪theodolite 经point to be located 待定点横轴tranverse axistripod 三脚架置位、定位position踏勘、选点reconnaissance 竖直角vertical angle参考点reference point vertical axis 竖轴量二等三角测second order triangulation Telescope望远镜()1centering 对中reduced level 归化高差run back 返测盘左face leftrun out 往测face right 盘右three-wire leveling 三丝法水准focus 集中、焦点测量地形测量(T opographic Survey focusing 调焦)boundary 边界、界线index error 指标误差inverted position of telescope(reverse construction stake 施工标桩contour 等高线盘右telescope)倒镜、normal position of telescope(direct telescope)contour interval 等高距contouring 绘等高线、正镜盘右contour-length method 光学垂准器等高线延长法optical plummetcontour line 等高线round 测回control network 控制网set 套、组detail 细部、详图station 测站draw 绘图距离测量(Distance Measure)field 外业气barometer 压计fix 固定、确定base line(basic line/datum line) 基线form line 地形图电battery 池EDM(electromagnetic distance measurement) grid 格网information 注记、资料、情报电磁波测距marginal information 轮廓注记滤波器滤光片filter 、large-scale 大比例尺的laser alignment system 激光准直系统latitude 纬度、范围laser beam 激光束latitude circle 纬圈prism 棱镜latitude line range 纬线距离测程、legend 图例long range 远程location 定线、程medium range 中定位longitude 经short range 短程度longitude line 测距仪经线range findermap signal 地图、制图信号mapping 制图、测spring balance 弹簧称图、地质素描match line 拼接线卷尺tapemonument 标石invar tape 铟瓦钢卷尺、石柱object 高程测量(Height Measurement地物、目标)plan 程、高海拔平面图、略图altitude/elevationplot 近似approximate leveling 置绘图粗平平、profile 断面(图)、纵剖图准自动定平水automatic level 仪difference in altitude(difference of record 记录、资料setup 定置elevation ,height difference) 高差仪器site location error of closure in leveling 差合闭准定位水stakeout 放样、定线平置、精平exact leveling 确、立桩symbol 仪(测点)准水level 符号、记号topographic detail 水level circuit 地形细部环合准闭topographic map 地形图尺垫准水level shoe◆原形观测观测仪器和设施线路准水line of level {Instrumentationand Facilities)国national geodetic vertical datum 家大地高air-entraining meter 面准基程掺气剂2Carlson-type piezometer 卡尔逊式渗压计component 零部件coordinator 坐标仪concrete strain meter 砼应变计damping box 阻尼角convergent point 收敛测点differential resistance direct plumb line 正垂线差动电阻double layer rubber sleeve earth pressure cell 土压力盒双层保护forced centering plate 强制embankment piezometer 坝体渗压计对中盘instrument lead 仪器电堤应变计缆embankment strain meter invar wire 铟瓦丝extended wire 引张线metal ring 计金属环foundation piezometer 基础渗压plumb coordinate meter horizontal inclinometer 水平测斜仪垂线坐标仪pulley 滑轮hydraulic instrument 水力学仪器regulator 调节器水听器hydrophoneriser 立管inclinometer casing 测斜管sensor interface joint meter 界面变位传感器计spool inverted plumb line 倒垂线绕轴steel socket 钢micro piezometer 微压计底座tablet 多点位移计药片multiple position extensometertensioning weight 张拉重锤observation point 观测标点thermistor 热敏电observation well 观测井阻tip 测头视optical alignment line 准线安装过程(Procession of Installation)plate strain meter 钢板计assemble 组装pneumatic piezometer 气压式渗压计couple 连接脉动压力pressure fluctuation meter 计prestressed tendon anchorage 埋设embed安装install 索dynamometer 预应力锚测力计绝缘insulate rock bolt extensometer 锚杆测力计维护计single point extensometer 单点位移maintenancespiral sensor 测扭仪监测monitor测压standpipe 管仪器保护protection of instrumentation归纳reduce 强震仪strong-motion seismograghsurface monument 表密封seal 面标点拼接temperature sensor 温度传感器splice提供终端房terminal house supplyterminal station 终端站测试testInformation资料(倾角tilt meter 计)简图计时均压力time average pressure cell assemble schematic 装配合格证书总压力盒total pressure cell certificate书说计velometer 流速使用明descriptionvertical inclinometer 垂直测斜仪维护指南maintenace guideline书震旋式渗压vibrating wire piezometer 计manual 说明振旋式沉降vibrating wire settlement sensor 理工作原operating principle 作仪范围operating restraint 操序procedure 水堰量的带微压weir with micro piezometer 计程程基点工作working base point 序分trouble shooting procedure 鼓掌析zerostress-strain meter 其他(Others)计砼无应力间)Acessories and Spare Parts附件及配件(行annular space 环空coil data acquisition 盘绕数据采集 3cement mark(strength of cement /cement 数据记录datarecordinggrade) 水泥标号leas drilling hole 引线孔consumptive use of water normal consistance 永久记录permanent record 标准稠度用水readout device 读数设备量degree of mobilization 流动性saturated 饱和的dissolution heat ( solution heat ) 溶解热seepage isolation dike 截渗堤final set trapezoidal 梯形终凝flexural strength 抗弯强度◆水工常规试验flyash 粉煤灰砼原材料试验(Test of Raw and Processedhydration heat 水化热Material of Concrete)initial set Aggregate)初凝骨料(abrasion volume by Los Angeles rattler loss on ignition(ignition loss) 烧矢量setting time 凝结时量间洛杉机磨耗silica fume 计accumulated retained percentage 累筛余百硅粉soundness 水泥的安定性分率specific surface area 比表acicular and flaky grain in aggregate 针状与面积specific heat 量片状颗粒含比热water demand ratio 吸水alkali-aggregate reaction 碱骨料反应量比外加剂(Admixture)视密度apparent densitybubble stability 泡沫稳定性bulk density (unity weight) 容重clay lumps and friable particles in aggregate bubbling ability 起泡能力chloride content 氯化物含量块及易碎颗粒含土量黏compressive strength rate 抗压强度比软化系数coefficient of softeningcontract with dry rate crush index 压碎指标干缩率dispersing coefficient 干燥状态dry state 分散系数dispersing ability of waterexceeding and inferior grain in-reducing agent 减水剂aggregate 超逊径颗粒含量分散能力loss of slump 塌落度损失细度模数fineness modulussulphate content 硫酸盐含空隙率量gaping place ratesolid content 分计grader retained percentage 筛余百固体含分率量surface tension 颗粒级grain composition 配表面张力water-reducing rate 减水率粒径grain size水(Water)量lightweight matter in aggregate 轻物质含alkalinity 碱度量云母含mica contentcalcion 含水率钙离子moisture content(water rate)carbonic acid mud content 钙酸含泥量chlorion 有机质含organic content 量氯离子equivalent concentration 骨料潜在活性potential reactivity of aggregate 当量浓度oxygen consumption saturation 饱和的耗氧量normal solution (standard 曲线筛sieving curve 分solution) 量soft grain in aggregate 软弱骨料含标准溶液PH value PH坚固性值soundnesswater analysis 水值面含水率表surface moisture content 分析砼(水溶性硫化物water-soluble sulphide Concrete)砼拌和物(水硬性胶凝材料Mixture(Hydraulicity cementitious )material) assurance strength of concrete 砼保证强度bleeding rate age 泌水率龄期4cement-sand ration 灰砂比砂浆(Cement)cement lime mortar 标号水泥石灰砂浆design strength of concrete 砼设计cement mortar 水泥砂浆flowability of concrete 砼的流动性cement-clay mortar 水泥黏土mix proportion (proportion ofmixture) 砼配合砂浆epoxy mortar 环氧砂浆比lime mortar 石灰砂浆mixture uniformity 拌和物的均匀性plastering mortar 抹面砂浆penetration-obstruction method 贯入阻力法pointing joint mortar probability of ensuring strength of concrete 砼勾缝砂浆土(Soil强度保证率)accumulation curve (cumulative curve) 累砂率sand rate 计曲线单位用水量unit consumption of wateractivity index 活性指标water retention (water retentiveness) 保水性angle of frictionwater-cement ratio 摩擦角水灰比Atterberg limits(water content as limit) Hardened concrete 阿)硬化砼(太堡界限(界限含水量axial tensile strength 轴向抗拉强度)California bearing ratio 导热系数载重比coefficient of thermal conductivitycoarse-grained soil cooling rate 冷却率粗粒土coefficient of compressibility 压缩系数砼芯样core of concrete coefficient of cubical徐变变creep deformation (time deformation )compressibility 体积压缩系数形coefficient of curvature 曲率系数form coefficient(form factor) 形状系数compression 压缩freezing -melting circulation 冻融循环compression index frost-resistance mark 抗冻标号压缩指数compression modulus 压缩模数砼热学性能heat property of concreteconsolidated-undrained (quick) shear test height-diameter ration 高径比固结不排水剪(固结快剪)试验linear expansion coefficient 线膨胀系数consolidated-drained (slow) shear test loss of weight 重量损失固结不排水剪(慢剪)试验自振频率natural frequency consolidation 固结permeate 渗透consolidation coefficient 透permeated height 渗高度固结系数consolidation settlement 固结沉降permeated-resisting mark 抗渗标号consolidation stress 系固结应力透relative coefficient of permeability 相对渗continuous grading/gradation 连接级配数contraction test(shrinkage test) 收缩试验振频率共resonance frequencycore cutter method sample 试环刀法件creep curve self-grown volume deformation(砼)蠕变曲线自生体积critical slope 变形逸出坡降(临界坡降)Darcy's law 达西定律劈裂抗拉强度splitting tensile strengthdegree of consolidation 固结度static compressive modulus of elasticity 静力degree of free swelling 自由膨胀率抗压弹数direct shear test 导温系数直接剪切试验temperature conductivity direct shear test of reiteration 反复直剪强度试抗拉弹性模tensile modulus of elasticity 量验绝热温升thermal insulation warmingdistribution curve 分极限拉应变ultimate tensile strain 布曲线drift soil (shifting soil/mass flow) 极限抗拉强度ultimate tensile strength 流土effective angle of inner friction 有效内摩擦角磨损率wear rate effective strength envelope 有效强度抗冲磨强度wear-resisting strength 包线5expansion force 膨胀力剪(快剪)试验variable head method 变水头法expansion ration(specificexpansion) 膨胀率void(pore) ratio 孔隙比渗流filtering flow(seepage flow)water replacement method 灌水法fine-grained soil 细粒土wet density 湿密度flow net(drift net) 流网其它建筑材料hydraulic slope 水力坡降钢筋(steel hydrometer method 比重计法)bending and unbending 反常水头法复弯曲hydrostatic head methodcold bending test 冷弯试验limit equilibrium state 极限平衡状态elongation test 拉伸试验liquefaction 液化nominal diameter 公称直径liquid limit 液限ratio of elongation liquidity index 液化指标伸长率relaxation test maximum dry density 最大干密度松弛试验steel strand 钢绞线method of sieving 筛分法tensile yield strength 拉伸屈服强度Mohr's stress circle 莫力应力圆ultimate tensile strength 极限抗拉强度库伦破坏Mohr-coulomb failure criteria 莫尔-Wood)准则木材(curshing strength paralled to the normal stress 法向应力(正应力)oedometer curve 顺纹抗压强度grain 压缩曲线tensile strength paralled to the 量optimum moisture content 最优含水顺纹抗拉强度涌piping 管graincrushing strength across th e plastic limit 塑限横纹抗压强度grain plasticity index 塑性指标tensile strength across to the 空隙水压力pore water pressure空隙率porosity 横纹抗拉强度grainprincipal stress 主)沥青(应力Asphalt脆化点试验Proctor compaction test 普氏击实试验brittle temperature test 相对密度relative density 延伸度试验expansion testsand replacement method 灌砂法针入式试验penetration test saturability (saturation degree/percent 软化点试验softening point testtest of aging saturation) 饱和度老化试验viscosity test 饱和容重saturated unit weight 粘滞性试验Quality Management透seepage deformation 渗变形)质量管理(average 力渗seepage force(seepage pressure) 透平均值deviation standard(error of mean 透渗seepage line 线均方差squares) 速度渗seepage speed 透deviationcoefficient(dispersion shear stress 切向应力(剪应力)离差系数缩限shrinkage limit coefficient)断级间skip(gap/jump) grading 配相关系数index of correlation土specific gravity of soil particle 粒比重界限management limit 管理steady seepage field 统计数稳定渗流场mathematic statistics 理maximum 应力路径stress path 最大值值minimum 最线包总强度total strength envelope 小布三轴压缩试验triaxial compression test 正态分normal distributionunconfined compression strength 保证量quality assurance 无侧限抗压质量强度检测质quality examinationunconsolidated undrained test regression curve 不固结不排水回归曲线 6relative dampness 相对湿度mud crack 泥痕rain print 雨痕本容量sample capacity 样orientation of bedrock 岩层产状sampling frequency 取样频率strike specimen 样品走向dip 倾向统计分析statistical analysisangle of dip (dip angle ) 倾角technical specification 技术规范fold technical standard 褶皱技术标准anticline testing circumstance 试验环境背斜syncline 向斜testing error 试验误差Monocline (homocline) 单斜testing regulation 试验规程dome 穹隆析variance analysis 方差分soft stratum ◆地质(Geology)软弱岩层zone of fracture(broken zone ) 破碎带地质年代(Geochronology of Geologicaffected zone Ages)影响带platy structure 板状构造Archaeozoic era (erathem) 太古代(界)解理cleavage Proterozoic era (erathem) 元古代(界)fracture(rupture) 断裂古生代(界)Palaeozoic era (erathem)fissure(crack/fracture) 裂隙Mesozoic era (erathem) 中生代(界))岩石类型(Rock typeCenozoic era (erathem) 新生代(界)岩石学petrology Sinian period (system) 震旦纪(系)岩igneous rock 火成寒武纪(系)Cambrian period (system)Ordovician period (system) 奥陶纪(系)岩浆岩magmatic rock火山岩lava(vocanic rock) 志留纪(系)Silurian period (system) 侵入岩intrusive (invade) rock Devonian period (system) 泥盘纪(系)成石碳纪(系)Carboniferous period (system) 岩effusive rock 深成岩pypabussal rock 二叠纪(系)Permian period (system) 浅三叠纪(系)acid rock 酸性岩Triassic period (system) 侏罗纪(系)Jurassic period (system) 中性岩inter-mediate rock基性岩basic rock Cretaceous period (system) 白垩纪(系)第Tertiary period (system) 三纪(系)超基性岩ultrabasic rock 第Quaternary period (system) 四纪(系)花岗岩granite斑岩Geologic Structural地质构造()porphyryrhyolite 玢岩断层faultsyenite normal fault 正断层流纹岩逆断层reversed fault trachyte 粗面岩diorite parallel fault 平移断层闪长岩andesite 安山岩断层泥gouge擦痕stria 辉长岩gabbrojoint 理节玄武岩basaltprimary joint 理原生节细晶岩aplitesecondary joint 理次生节pegmatite 伟晶岩tension joint lamprophyre 煌斑岩理张节diabase 理卸荷节unloading joint 辉绿岩理片schistosity 橄榄岩dunite理层bedding pumice 浮岩)理(叶理板foliation 沉积岩sedimentary rock波痕ripple mark clastic rock 碎屑岩7clay rock 黏土岩quartz 石英topaz 黄玉chemical rock 化学岩corundum 刚玉biolith 生物岩diamand 金刚石砾岩conglomerate。
离散数学中英文名词对照表

离散数学中英⽂名词对照表离散数学中英⽂名词对照表外⽂中⽂AAbel category Abel 范畴Abel group (commutative group) Abel 群(交换群)Abel semigroup Abel 半群accessibility relation 可达关系action 作⽤addition principle 加法原理adequate set of connectives 联结词的功能完备(全)集adjacent 相邻(邻接)adjacent matrix 邻接矩阵adjugate 伴随adjunction 接合affine plane 仿射平⾯algebraic closed field 代数闭域algebraic element 代数元素algebraic extension 代数扩域(代数扩张)almost equivalent ⼏乎相等的alternating group 三次交代群annihilator 零化⼦antecedent 前件anti symmetry 反对称性anti-isomorphism 反同构arboricity 荫度arc set 弧集arity 元数arrangement problem 布置问题associate 相伴元associative algebra 结合代数associator 结合⼦asymmetric 不对称的(⾮对称的)atom 原⼦atomic formula 原⼦公式augmenting digeon hole principle 加强的鸽⼦笼原理augmenting path 可增路automorphism ⾃同构automorphism group of graph 图的⾃同构群auxiliary symbol 辅助符号axiom of choice 选择公理axiom of equality 相等公理axiom of extensionality 外延公式axiom of infinity ⽆穷公理axiom of pairs 配对公理axiom of regularity 正则公理axiom of replacement for the formula Ф关于公式Ф的替换公式axiom of the empty set 空集存在公理axiom of union 并集公理Bbalanced imcomplete block design 平衡不完全区组设计barber paradox 理发师悖论base 基Bell number Bell 数Bernoulli number Bernoulli 数Berry paradox Berry 悖论bijective 双射bi-mdule 双模binary relation ⼆元关系binary symmetric channel ⼆进制对称信道binomial coefficient ⼆项式系数binomial theorem ⼆项式定理binomial transform ⼆项式变换bipartite graph ⼆分图block 块block 块图(区组)block code 分组码block design 区组设计Bondy theorem Bondy 定理Boole algebra Boole 代数Boole function Boole 函数Boole homomorophism Boole 同态Boole lattice Boole 格bound occurrence 约束出现bound variable 约束变量bounded lattice 有界格bridge 桥Bruijn theorem Bruijn 定理Burali-Forti paradox Burali-Forti 悖论Burnside lemma Burnside 引理Ccage 笼canonical epimorphism 标准满态射Cantor conjecture Cantor 猜想Cantor diagonal method Cantor 对⾓线法Cantor paradox Cantor 悖论cardinal number 基数Cartesion product of graph 图的笛卡⼉积Catalan number Catalan 数category 范畴Cayley graph Cayley 图Cayley theorem Cayley 定理center 中⼼characteristic function 特征函数characteristic of ring 环的特征characteristic polynomial 特征多项式check digits 校验位Chinese postman problem 中国邮递员问题chromatic number ⾊数chromatic polynomial ⾊多项式circuit 回路circulant graph 循环图circumference 周长class 类classical completeness 古典完全的classical consistent 古典相容的clique 团clique number 团数closed term 闭项closure 闭包closure of graph 图的闭包code 码code element 码元code length 码长code rate 码率code word 码字coefficient 系数coimage 上象co-kernal 上核coloring 着⾊coloring problem 着⾊问题combination number 组合数combination with repetation 可重组合common factor 公因⼦commutative diagram 交换图commutative ring 交换环commutative seimgroup 交换半群complement 补图(⼦图的余) complement element 补元complemented lattice 有补格complete bipartite graph 完全⼆分图complete graph 完全图complete k-partite graph 完全k-分图complete lattice 完全格composite 复合composite operation 复合运算composition (molecular proposition) 复合(分⼦)命题composition of graph (lexicographic product)图的合成(字典积)concatenation (juxtaposition) 邻接运算concatenation graph 连通图congruence relation 同余关系conjunctive normal form 正则合取范式connected component 连通分⽀connective 连接的connectivity 连通度consequence 推论(后承)consistent (non-contradiction) 相容性(⽆⽭盾性)continuum 连续统contraction of graph 图的收缩contradiction ⽭盾式(永假式)contravariant functor 反变函⼦coproduct 上积corank 余秩correct error 纠正错误corresponding universal map 对应的通⽤映射countably infinite set 可列⽆限集(可列集)covariant functor (共变)函⼦covering 覆盖covering number 覆盖数Coxeter graph Coxeter 图crossing number of graph 图的叉数cuset 陪集cotree 余树cut edge 割边cut vertex 割点cycle 圈cycle basis 圈基cycle matrix 圈矩阵cycle rank 圈秩cycle space 圈空间cycle vector 圈向量cyclic group 循环群cyclic index 循环(轮转)指标cyclic monoid 循环单元半群cyclic permutation 圆圈排列cyclic semigroup 循环半群DDe Morgan law De Morgan 律decision procedure 判决过程decoding table 译码表deduction theorem 演绎定理degree 次数,次(度)degree sequence 次(度)序列derivation algebra 微分代数Descartes product Descartes 积designated truth value 特指真值detect errer 检验错误deterministic 确定的diagonal functor 对⾓线函⼦diameter 直径digraph 有向图dilemma ⼆难推理direct consequence 直接推论(直接后承)direct limit 正向极限direct sum 直和directed by inclution 被包含关系定向discrete Fourier transform 离散 Fourier 变换disjunctive normal form 正则析取范式disjunctive syllogism 选⾔三段论distance 距离distance transitive graph 距离传递图distinguished element 特异元distributive lattice 分配格divisibility 整除division subring ⼦除环divison ring 除环divisor (factor) 因⼦domain 定义域Driac condition Dirac 条件dual category 对偶范畴dual form 对偶式dual graph 对偶图dual principle 对偶原则(对偶原理) dual statement 对偶命题dummy variable 哑变量(哑变元)Eeccentricity 离⼼率edge chromatic number 边⾊数edge coloring 边着⾊edge connectivity 边连通度edge covering 边覆盖edge covering number 边覆盖数edge cut 边割集edge set 边集edge-independence number 边独⽴数eigenvalue of graph 图的特征值elementary divisor ideal 初等因⼦理想elementary product 初等积elementary sum 初等和empty graph 空图empty relation 空关系empty set 空集endomorphism ⾃同态endpoint 端点enumeration function 计数函数epimorphism 满态射equipotent 等势equivalent category 等价范畴equivalent class 等价类equivalent matrix 等价矩阵equivalent object 等价对象equivalent relation 等价关系error function 错误函数error pattern 错误模式Euclid algorithm 欧⼏⾥德算法Euclid domain 欧⽒整环Euler characteristic Euler 特征Euler function Euler 函数Euler graph Euler 图Euler number Euler 数Euler polyhedron formula Euler 多⾯体公式Euler tour Euler 闭迹Euler trail Euler 迹existential generalization 存在推⼴规则existential quantifier 存在量词existential specification 存在特指规则extended Fibonacci number ⼴义 Fibonacci 数extended Lucas number ⼴义Lucas 数extension 扩充(扩张)extension field 扩域extension graph 扩图exterior algebra 外代数Fface ⾯factor 因⼦factorable 可因⼦化的factorization 因⼦分解faithful (full) functor 忠实(完满)函⼦Ferrers graph Ferrers 图Fibonacci number Fibonacci 数field 域filter 滤⼦finite extension 有限扩域finite field (Galois field ) 有限域(Galois 域)finite dimensional associative division algebra有限维结合可除代数finite set 有限(穷)集finitely generated module 有限⽣成模first order theory with equality 带符号的⼀阶系统five-color theorem 五⾊定理five-time-repetition 五倍重复码fixed point 不动点forest 森林forgetful functor 忘却函⼦four-color theorem(conjecture) 四⾊定理(猜想)F-reduced product F-归纳积free element ⾃由元free monoid ⾃由单元半群free occurrence ⾃由出现free R-module ⾃由R-模free variable ⾃由变元free-?-algebra ⾃由?代数function scheme 映射格式GGalileo paradox Galileo 悖论Gauss coefficient Gauss 系数GBN (G?del-Bernays-von Neumann system)GBN系统generalized petersen graph ⼴义 petersen 图generating function ⽣成函数generating procedure ⽣成过程generator ⽣成⼦(⽣成元)generator matrix ⽣成矩阵genus 亏格girth (腰)围长G?del completeness theorem G?del 完全性定理golden section number 黄⾦分割数(黄⾦分割率)graceful graph 优美图graceful tree conjecture 优美树猜想graph 图graph of first class for edge coloring 第⼀类边⾊图graph of second class for edge coloring 第⼆类边⾊图graph rank 图秩graph sequence 图序列greatest common factor 最⼤公因⼦greatest element 最⼤元(素)Grelling paradox Grelling 悖论Gr?tzsch graph Gr?tzsch 图group 群group code 群码group of graph 图的群HHajós conjecture Hajós 猜想Hamilton cycle Hamilton 圈Hamilton graph Hamilton 图Hamilton path Hamilton 路Harary graph Harary 图Hasse graph Hasse 图Heawood graph Heawood 图Herschel graph Herschel 图hom functor hom 函⼦homemorphism 图的同胚homomorphism 同态(同态映射)homomorphism of graph 图的同态hyperoctahedron 超⼋⾯体图hypothelical syllogism 假⾔三段论hypothese (premise) 假设(前提)Iideal 理想identity 单位元identity natural transformation 恒等⾃然变换imbedding 嵌⼊immediate predcessor 直接先⾏immediate successor 直接后继incident 关联incident axiom 关联公理incident matrix 关联矩阵inclusion and exclusion principle 包含与排斥原理inclusion relation 包含关系indegree ⼊次(⼊度)independent 独⽴的independent number 独⽴数independent set 独⽴集independent transcendental element 独⽴超越元素index 指数individual variable 个体变元induced subgraph 导出⼦图infinite extension ⽆限扩域infinite group ⽆限群infinite set ⽆限(穷)集initial endpoint 始端initial object 初始对象injection 单射injection functor 单射函⼦injective (one to one mapping) 单射(内射)inner face 内⾯inner neighbour set 内(⼊)邻集integral domain 整环integral subdomain ⼦整环internal direct sum 内直和intersection 交集intersection of graph 图的交intersection operation 交运算interval 区间invariant factor 不变因⼦invariant factor ideal 不变因⼦理想inverse limit 逆向极限inverse morphism 逆态射inverse natural transformation 逆⾃然变换inverse operation 逆运算inverse relation 逆关系inversion 反演isomorphic category 同构范畴isomorphism 同构态射isomorphism of graph 图的同构join of graph 图的联JJordan algebra Jordan 代数Jordan product (anti-commutator) Jordan乘积(反交换⼦)Jordan sieve formula Jordan 筛法公式j-skew j-斜元juxtaposition 邻接乘法Kk-chromatic graph k-⾊图k-connected graph k-连通图k-critical graph k-⾊临界图k-edge chromatic graph k-边⾊图k-edge-connected graph k-边连通图k-edge-critical graph k-边临界图kernel 核Kirkman schoolgirl problem Kirkman ⼥⽣问题Kuratowski theorem Kuratowski 定理Llabeled graph 有标号图Lah number Lah 数Latin rectangle Latin 矩形Latin square Latin ⽅lattice 格lattice homomorphism 格同态law 规律leader cuset 陪集头least element 最⼩元least upper bound 上确界(最⼩上界)left (right) identity 左(右)单位元left (right) invertible element 左(右)可逆元left (right) module 左(右)模left (right) zero 左(右)零元left (right) zero divisor 左(右)零因⼦left adjoint functor 左伴随函⼦left cancellable 左可消的left coset 左陪集length 长度Lie algebra Lie 代数line- group 图的线群logically equivanlent 逻辑等价logically implies 逻辑蕴涵logically valid 逻辑有效的(普效的)loop 环Lucas number Lucas 数Mmagic 幻⽅many valued proposition logic 多值命题逻辑matching 匹配mathematical structure 数学结构matrix representation 矩阵表⽰maximal element 极⼤元maximal ideal 极⼤理想maximal outerplanar graph 极⼤外平⾯图maximal planar graph 极⼤平⾯图maximum matching 最⼤匹配maxterm 极⼤项(基本析取式)maxterm normal form(conjunctive normal form) 极⼤项范式(合取范式)McGee graph McGee 图meet 交Menger theorem Menger 定理Meredith graph Meredith 图message word 信息字mini term 极⼩项minimal κ-connected graph 极⼩κ-连通图minimal polynomial 极⼩多项式Minimanoff paradox Minimanoff 悖论minimum distance 最⼩距离Minkowski sum Minkowski 和minterm (fundamental conjunctive form) 极⼩项(基本合取式)minterm normal form(disjunctive normal form)极⼩项范式(析取范式)M?bius function M?bius 函数M?bius ladder M?bius 梯M?bius transform (inversion) M?bius 变换(反演)modal logic 模态逻辑model 模型module homomorphism 模同态(R-同态)modus ponens 分离规则modus tollens 否定后件式module isomorphism 模同构monic morphism 单同态monoid 单元半群monomorphism 单态射morphism (arrow) 态射(箭)M?bius function M?bius 函数M?bius ladder M?bius 梯M?bius transform (inversion) M?bius 变换(反演)multigraph 多重图multinomial coefficient 多项式系数multinomial expansion theorem 多项式展开定理multiple-error-correcting code 纠多错码multiplication principle 乘法原理mutually orthogonal Latin square 相互正交拉丁⽅Nn-ary operation n-元运算n-ary product n-元积natural deduction system ⾃然推理系统natural isomorphism ⾃然同构natural transformation ⾃然变换neighbour set 邻集next state 下⼀个状态next state transition function 状态转移函数non-associative algebra ⾮结合代数non-standard logic ⾮标准逻辑Norlund formula Norlund 公式normal form 正规形normal model 标准模型normal subgroup (invariant subgroup) 正规⼦群(不变⼦群)n-relation n-元关系null object 零对象nullary operation 零元运算Oobject 对象orbit 轨道order 阶order ideal 阶理想Ore condition Ore 条件orientation 定向orthogonal Latin square 正交拉丁⽅orthogonal layout 正交表outarc 出弧outdegree 出次(出度)outer face 外⾯outer neighbour 外(出)邻集outerneighbour set 出(外)邻集outerplanar graph 外平⾯图Ppancycle graph 泛圈图parallelism 平⾏parallelism class 平⾏类parity-check code 奇偶校验码parity-check equation 奇偶校验⽅程parity-check machine 奇偶校验器parity-check matrix 奇偶校验矩阵partial function 偏函数partial ordering (partial relation) 偏序关系partial order relation 偏序关系partial order set (poset) 偏序集partition 划分,分划,分拆partition number of integer 整数的分拆数partition number of set 集合的划分数Pascal formula Pascal 公式path 路perfect code 完全码perfect t-error-correcting code 完全纠-错码perfect graph 完美图permutation 排列(置换)permutation group 置换群permutation with repetation 可重排列Petersen graph Petersen 图p-graph p-图Pierce arrow Pierce 箭pigeonhole principle 鸽⼦笼原理planar graph (可)平⾯图plane graph 平⾯图Pólya theorem Pólya 定理polynomail 多项式polynomial code 多项式码polynomial representation 多项式表⽰法polynomial ring 多项式环possible world 可能世界power functor 幂函⼦power of graph 图的幂power set 幂集predicate 谓词prenex normal form 前束范式pre-ordered set 拟序集primary cycle module 准素循环模prime field 素域prime to each other 互素primitive connective 初始联结词primitive element 本原元primitive polynomial 本原多项式principal ideal 主理想principal ideal domain 主理想整环principal of duality 对偶原理principal of redundancy 冗余性原则product 积product category 积范畴product-sum form 积和式proof (deduction) 证明(演绎)proper coloring 正常着⾊proper factor 真正因⼦proper filter 真滤⼦proper subgroup 真⼦群properly inclusive relation 真包含关系proposition 命题propositional constant 命题常量propositional formula(well-formed formula,wff)命题形式(合式公式)propositional function 命题函数propositional variable 命题变量pullback 拉回(回拖) pushout 推出Qquantification theory 量词理论quantifier 量词quasi order relation 拟序关系quaternion 四元数quotient (difference) algebra 商(差)代数quotient algebra 商代数quotient field (field of fraction) 商域(分式域)quotient group 商群quotient module 商模quotient ring (difference ring , residue ring) 商环(差环,同余类环)quotient set 商集RRamsey graph Ramsey 图Ramsey number Ramsey 数Ramsey theorem Ramsey 定理range 值域rank 秩reconstruction conjecture 重构猜想redundant digits 冗余位reflexive ⾃反的regular graph 正则图regular representation 正则表⽰relation matrix 关系矩阵replacement theorem 替换定理representation 表⽰representation functor 可表⽰函⼦restricted proposition form 受限命题形式restriction 限制retraction 收缩Richard paradox Richard 悖论right adjoint functor 右伴随函⼦right cancellable 右可消的right factor 右因⼦right zero divison 右零因⼦ring 环ring of endomorphism ⾃同态环ring with unity element 有单元的环R-linear independence R-线性⽆关root field 根域rule of inference 推理规则Russell paradox Russell 悖论Ssatisfiable 可满⾜的saturated 饱和的scope 辖域section 截⼝self-complement graph ⾃补图semantical completeness 语义完全的(弱完全的)semantical consistent 语义相容semigroup 半群separable element 可分元separable extension 可分扩域sequent ⽮列式sequential 序列的Sheffer stroke Sheffer 竖(谢弗竖)simple algebraic extension 单代数扩域simple extension 单扩域simple graph 简单图simple proposition (atomic proposition) 简单(原⼦)命题simple transcental extension 单超越扩域simplication 简化规则slope 斜率small category ⼩范畴smallest element 最⼩元(素)Socrates argument Socrates 论断(苏格拉底论断)soundness (validity) theorem 可靠性(有效性)定理spanning subgraph ⽣成⼦图spanning tree ⽣成树spectra of graph 图的谱spetral radius 谱半径splitting field 分裂域standard model 标准模型standard monomil 标准单项式Steiner triple Steiner 三元系⼤集Stirling number Stirling 数Stirling transform Stirling 变换subalgebra ⼦代数subcategory ⼦范畴subdirect product ⼦直积subdivison of graph 图的细分subfield ⼦域subformula ⼦公式subdivision of graph 图的细分subgraph ⼦图subgroup ⼦群sub-module ⼦模subrelation ⼦关系subring ⼦环sub-semigroup ⼦半群subset ⼦集substitution theorem 代⼊定理substraction 差集substraction operation 差运算succedent 后件surjection (surjective) 满射switching-network 开关⽹络Sylvester formula Sylvester公式symmetric 对称的symmetric difference 对称差symmetric graph 对称图symmetric group 对称群syndrome 校验⼦syntactical completeness 语法完全的(强完全的)Syntactical consistent 语法相容system ?3 , ?n , ??0 , ??系统?3 , ?n , ??0 , ??system L 公理系统 Lsystem ?公理系统?system L1 公理系统 L1system L2 公理系统 L2system L3 公理系统 L3system L4 公理系统 L4system L5 公理系统 L5system L6 公理系统 L6system ?n 公理系统?nsystem of modal prepositional logic 模态命题逻辑系统system Pm 系统 Pmsystem S1 公理系统 S1system T (system M) 公理系统 T(系统M)Ttautology 重⾔式(永真公式)technique of truth table 真值表技术term 项terminal endpoint 终端terminal object 终结对象t-error-correcing BCH code 纠 t -错BCH码theorem (provable formal) 定理(可证公式)thickess 厚度timed sequence 时间序列torsion 扭元torsion module 扭模total chromatic number 全⾊数total chromatic number conjecture 全⾊数猜想total coloring 全着⾊total graph 全图total matrix ring 全⽅阵环total order set 全序集total permutation 全排列total relation 全关系tournament 竞赛图trace (trail) 迹tranformation group 变换群transcendental element 超越元素transitive 传递的tranverse design 横截设计traveling saleman problem 旅⾏商问题tree 树triple system 三元系triple-repetition code 三倍重复码trivial graph 平凡图trivial subgroup 平凡⼦群true in an interpretation 解释真truth table 真值表truth value function 真值函数Turán graph Turán 图Turán theorem Turán 定理Tutte graph Tutte 图Tutte theorem Tutte 定理Tutte-coxeter graph Tutte-coxeter 图UUlam conjecture Ulam 猜想ultrafilter 超滤⼦ultrapower 超幂ultraproduct 超积unary operation ⼀元运算unary relation ⼀元关系underlying graph 基础图undesignated truth value ⾮特指值undirected graph ⽆向图union 并(并集)union of graph 图的并union operation 并运算unique factorization 唯⼀分解unique factorization domain (Gauss domain) 唯⼀分解整域unique k-colorable graph 唯⼀k着⾊unit ideal 单位理想unity element 单元universal 全集universal algebra 泛代数(Ω代数)universal closure 全称闭包universal construction 通⽤结构universal enveloping algebra 通⽤包络代数universal generalization 全称推⼴规则universal quantifier 全称量词universal specification 全称特指规则universal upper bound 泛上界unlabeled graph ⽆标号图untorsion ⽆扭模upper (lower) bound 上(下)界useful equivalent 常⽤等值式useless code 废码字Vvalence 价valuation 赋值Vandermonde formula Vandermonde 公式variery 簇Venn graph Venn 图vertex cover 点覆盖vertex set 点割集vertex transitive graph 点传递图Vizing theorem Vizing 定理Wwalk 通道weakly antisymmetric 弱反对称的weight 重(权)weighted form for Burnside lemma 带权形式的Burnside引理well-formed formula (wff) 合式公式(wff) word 字Zzero divison 零因⼦zero element (universal lower bound) 零元(泛下界)ZFC (Zermelo-Fraenkel-Cohen) system ZFC系统form)normal(Skolemformnormalprenex-存在正则前束范式(Skolem 正则范式)3-value proposition logic 三值命题逻辑。
Timing分析——SI中最关键因素

Timing分析——SI中最关键因素文章来源:SMT设备在SI的分析中虽然有像反射、串扰、地弹、时序(当然把时序归为SI分析有点勉强)的分析,但我认为最为关键的是时序的分析,因为对于使用CADENCE/SPECCTRAQUEST的分析工具,在时序的分析计算中,就可以把反射、串扰、地弹对飞行时间所造成的影响都考虑进去了。
所以在对系统的SI分析中,只要你以时序分析作为主要分析链,并保持一定的time margin, 系统就能够按你所设计的速度正常运行。
《一》模型篇当然不管你要进行什么分析,一定得依赖于模型,对于模型又有以下最常见的几种:------SPICE(Simulation Program with Integrated Circuit Emphasis)发展最早,在集成电路业界已成为模拟晶体管级电路描述的非正式标准。
它基于晶体管和二极管特性参数建模,故运算量特别大,运算特别耗时(可能要几天),因此用户需要在仿真精度和运算耗时之间折中。
SPICE模型一般不支持耦合线(或损耗线)的仿真,而这正是高速电路设计中信号完整性仿真的关键因素。
所以在它的应用领域中,大多数只用于对电路原理方面的仿真,但对于像PCB板级仿真就显得力不从心了。
-------IBIS(Input/Output Buffer Information Specification)模型是反映芯片驱动和接收电气特性的一种国际标准。
它基于V-I曲线,对I/O Buffer快速建模,它提供一种标准的文件格式来记录诸如激励源输出阻抗、上升/下降时间及输入负载等参数,非常适合做振荡和串扰等高频效应的系统级计算与仿真。
IBIS是一个简单的模型,计算量小,速度快,精度高,已被广泛选用。
但它也只用在像对于信号在传输线上传输的这样一个过程进行分析(如PCB、MCM)。
对于像电路原理方面的仿真也就不适用了。
------ VHDL-AMS是针对模拟和混合信号行为的建模语言。
Timing_Closure

1.各逻辑层次资源利用情况层次分解图。
选择某条时序不满足的路径,右键弹出菜单,选择查看原理图“Schematic”,Vivado会自动画出逻辑原理图。
选择某个路径,可以在Device窗口里面,看到走线路径的大致状况,下图中示例中,走线明显过长。
而该路径逻辑层次很少,因此只能通过Pipeline的方式来解决。
下图中,Setup时间不满足,走线时延过长,但信号都是慢速状态信号,直接设为False path。
或者设置Max delay。
查看这些路径的原理图。
下图中,逻辑时延和走线时延都极短,仍不满足,说明时序要求过于苛刻,肯定不合理。
选择某条路径,查看该路径的时序报告。
Setup时间只有0.333ns,不可能满足的时序。
这是两个时钟频率非常靠近,两者时钟周期的差值。
(计算方法图中的公式)
接下来几个跨时钟域的分析,情况与上同。
都隐含了不可能满足的setup建立时间
下图为走线路径过长的案例。
Latches and Timing

Latches & TimingAshish Goel & Ateet Mishra, Freescale SemiconductorIntroductionDigital blocks contain combinational and sequential circuits. Sequential circuits are the storage cells with outputs that reflect the past sequence of their input values, while output of the combinational circuits depends only on the present input. Latches and flip flops are the commonly used storage elements.This paper is divided into 4 parts. First part of the paper will discuss the advantages and disadvantages of latches compare to Flip-Flop. Next part describes some unique properties of latches that make them useful in high-frequency design. Third part of the paper will talk about the timing analysis complexities for latch-based design and how to deal with this complexity during the course of design. Finally, the paper will discuss challenges with latch-based design to hierarchical timing closure and partitioning, and some solutions.Latches Vs Flip FlopsA latch is a level-sensitive storage cell that is transparent to signals passing from the D input to output Q when enabled, and that holds the values of D on Q as of the time enable goes False. The enabled state is also called transparent state. Depending on the polarity of the enable input, we call latches positive-level or negative-level.In comparison, the flip-flop is an edge-triggered device that changes state on the rising or falling edge of an enable signal such as a clock. In a rising-edge-triggered flip-flop, the flip-flop samples its input state only at the rising edge of the clock. This sampled value is then maintained until the next rising edge of the clock. Generally designers prefer flip flops over latches because of this edge-triggered property, which makes the behavior of the timing simple and eases design interpretation.Latch-based designs have small die size and are more successful in high-speed designs where clock frequency is in GHz. In flipflop-based high speed designs, maintaining clock skew is a big problem, but latches ease this problem. Hence use of flipflops can limit the design performance, in cases where the frequency of the design is limited by the slowest path. Also when process variation is considered, latch-based design is dramatically more variation-tolerant, resulting in a better yield and/or allowing a more aggressive clocking than the equivalent design with flipflops.Time Borrowing with LatchesThe unique property which enables above advantages is time borrowing. A level-sensitive latch is transparent for the duration of an active clock pulse. Time borrowing technique can relax the normal edge-to-edge timing requirements of synchronous designs. A combinational path which is long enough and is determining the maximum frequency ofthe design can borrow some time from a shorter path in subsequent latch-to-latch stages to meet its timing (Figure 1.)Figure 1. Timing paths in a sample circuit.The figure 1 has 2 timing paths: Path 1 from the positive-triggered register (1) through logic A, to a negative-level latch (2), while Path 2 is from the latch, through logic cloud B, to a positive edge triggered register (3). Let us examine this simple example to illustrate borrowing time to compensate for the delay through the logic cloud A. Depending on the delay incurred by the logic A in Path 1, we can have two scenarios of timing analysis that will decide the time we can borrow (Figures 3 and 4.)Figure 2. Timing relationships set by the system clock.In Case A, data arrives from logic A at Latch 2 before the falling edge of the clock at the Latch. In this case, the behavior of the latch is similar to that of a flipflop, and analysis is simple. We do not need to borrow any time to achieve our timing goal.Figure 3. When Logic A is fast enough, no borrowing is necessary.In Case B, the negative clock edge enables the latch before the arrival of the signal from logic A at the input of the latch. So the latch will go to transparent mode and transmit an undefined state from Logic A through to Register B for a while. But that is fine. What matters is that the new state from Logic A reaches Logic B and passes through it in time tomeet the set-up requirements of Register 2. So if the propagation delay of Logic B is short, we can, in effect, let Logic A have some of the time reserved for Logic B, and the circuit will still work. We say that Logic A borrows this extra time in order to complete its propagation delay. When path 2 is timed, the timing analysis will consider the end of the borrowed time as the start point for analyzing Logic B’s delay.Figure 4. Logic a borrows time from Logic B.While doing STA, Timing reports will be generated according to Case A and Case B. In reality, the timing when the latch is enabled is the same as if the latch were simply a transparent delay element (Figure 5.)Figure 5. When the latch is enabled, it essentially becomes a passive delay.Time-borrowing in OCV/Xtalk timing analysisIn an ideal scenario, time given to the startpoint should be equal to the time borrowing of the latch. But as the technology is shrinking, there are on-chip variation (OCV), signal-integrity, and other uncertainty factors that come into the picture. T o make the analysis more accurate, we also use common-path pessimism removal (CPPR). These factors make the relationship between time borrowing and time given to startpoint a bit complex. As a result timing analysis of latches becomes more challenging.Let’s consider the case B again. Including the above factors, the re is an interesting relationship that comes out between time borrowing and time given to start point. The variables which make it interesting are clock uncertainties, clock path pessimism due to OCV, clock derates etc.If U is the uncertainty in clock timing considered while timing Path 1, C is the CPPR between register and latch, And T is the time borrowed by Path 1 while constraining logic A then, while timing Path 2,Applied uncertainty in path 1 is uncertainty for the clock path of the latch, which actually won’t be the part of pessimism when latch is transparent. So we remove that pessimism about latch clock uncertainty from the start time. Similarly, pessimism due to CPPR is recovered in the time given for the start point, as we consider the same path type (early or late) of latch launch clock path in Path 2. If we have applied clock derates in the design, while timing Path 2 for setup, instead of late, early derates will be considered for the clock path of the latch, to make it again the same as the capture clock path of the latch in Path 1.Normally EDA tools show a very pessimistic behavior while timing path 2, because they don’t consider clock path pessimism removal, But applying that pessimism is not correct. CPPR of path 1 is also removed while calculating time given to startpoint. Again retaining this pessimism will not be correct. In actuality, while the latch is transparent, it would be acting as combinational cell, and CPPR should be considered between the start point of path1 and the endpoint of path2. But tools here show extra-pessimistic results by not considering the correctness of any pessimism.Another approach which can be considered here is, considering the least value between CPPR of Path 1 and Path2. This won’t be the most acc urate way, but it gives another level of pessimism removal which can be justified by following statement.Comparing the common clock path of the register and the latch in timing path 1 vs. the common clock path of the latch and the endpoint—the second register—in timing path 2 can give an idea of the minimum possibility of the clock path between the register and the final endpoint.The least preferred, most accurate and the best way to judge the timing of latches (once it is made sure that latch will be transparent while timing this path) is to make the latch transparent by putting a case analysis on the enable pin of the latch. After this, the EDA tool will be able to time the two segments as one complete path. The reason we prefer this least is that the latch may not always be transparent while timing path 1 in the best-case condition where time borrowing is not needed. And the tool will miss all the paths which do not require time borrowing and hold time check at the latch endpoint.Partitioning challenges with Latch Based DesignOther than the above explain Timing challenges, there are few challenges that occur in hierarchical design when the blocks have latch-based interfaces. The timing tools will require some help to understand when it is possible to borrow time across a block boundary.Figure 6. A block interfaces to external latches.The first challenge is to enable time borrowing for the ports which are budgeted for timing. While timing a block, the ports that are coming from or going to latches at the top level of the SOC can be modeled by using their proper IO delays and the level_sensitive option in the EDA tool. Consider the case for path 2 (figure 6). Without the level_sensitive option, this path could be critical at block level. With the output delay at the output port defined with the level_sensitive option, the timing tool can borrow time from the input stage of the next block, and this will relax the timing on the output port.Figure 7. A block using latches interfaces to external registers.Next, consider the case (Figure 7) when the latches are inside the block instead of outside it. For the path 1, there is nothing special to do for closing the block but the designer must define the all types of clock latency—rise/fall and min/max—for the block pin CLK. This will help to correctly calculate the time assigned to the start point based on OCV and CPPR. By doing this there will be no surprises when the block is merged at top level. Another challenge arises while using the timing models for top level execution. Our expectation would be enabling time borrowing through boundary latches. This can be done using grey box extracted timing model (ETM) models, which preserves the boundary latch while generating ETM library models.SummaryLatches are very beneficial for high speed SoC designs but their use adds challenges in static timing analysis, especially with hierarchical design. Limitations of current EDA tools increase the complexities of latch-based design. Latches can be used more widely in SoCs by some careful analysis and applying some of the techniques listed in this paper. These techniques may not completely remove the complexities but definitely can reduce them.Ashish Goel is a Lead Design Engineer at Freescale Semiconductor, India. He has 11 years of rich industry experience in various fields of VLSI, such as Static Timing Analysis, RTL Design, Physical design and Formal technologies. He has been with Freescale since last three years. Previously he has worked with STMicroelectronics, Agilent T echnologies and Infineon Technologies. Ashish also holds multiple patents in field of FPGA architecture.Ateet Mishra is a Senior Design Engineer at Freescale Semiconductor, India. He has 6 years of industry experience in various fields of VLSI, such as Static Timing Analysis, Physical design & Synthesis. He has been associated with Freescale since the beginning of his career and has successfully taped out multiple SOCs.。
薛定谔培训教程

• William L. Jorgensen - C. P. Whitehead Professor of Chemistry, Yale University
– Intramolecular potential functions for water, force field development, protein-ligand binding, structure-based drug design, molecular property prediction
Clients Clients
•• Over 1000 client sites Over 1000 client sites •• 300+ commercial sites 300+ commercial sites
Scientific Advisory Board
• Richard A. Friesner - Chairman of SAB & Founder
Accurate Docking
Pose Refinement
SP_Glide
XP_Glide
~30s/ligand 5 – 10 min/ligand
高通量虚拟筛选 Deposited in PDB (hydrogens added)
No other nearby acceptor atoms for Ser
– Professor of Chemistry, Columbia University – Quantum chemistry, molecular simulations, electrostatic models, protein folding
• Bruce J. Berne - Higgins Professor of Chemistry, Columbia University
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
Timing Closure Notes for FAE Training - 11/1/2011
Page: 2
Lattice Semiconductor Confidential
AGENDA
Recap of What‟s Working in Closing Timing for Large Device Timing Preference Affected Timing Updated Tips and Tricks Introduction to FPGA Design Guide Q/A
0.420ns SLICE_54.Q0 to SLICE_87.C0 c1_30
Timing Closure Notes for FAE Training - 11/1/2011
Page: 6
Lattice Semiconductor Confidential
CLOCK DOMAIN TRANSFER
Timing Closure Notes
Robert Xu
Oct. 2011
AGENDA
Recap of What‟s Working in Closing Timing for Large Device Timing Preference Affected Timing Updated Tips and Tricks Introduction to FPGA Design Guide Q/A
• Clocks/DSPs/DDR/PCS/PLL/DLL/Flops/Slices STOP and think when
– Post map slice utilization by default > 80-85% – Clock in the design exceeding the number of primary clock available. – Block RAM/DSP blocks are exceeding 80%.
Timing Closure Notes for FAE Training - 11/1/2011
Page: 8
Lattice Semiconductor Confidential
GOOD ESTIMATE OF THE TIMING PICTURE
Synthesis/Map
– Go through synthesis timing report (*.srr) and post map trce report *.tw1 file, to make sure that the synthesis/map tools yields reasonable Logic levels. – Explore the synthesis/map options to see if better results can be achieved. – Check in the tw1 file about preference coverage
CONSTRAINTS COVERAGE
Constraint Coverage Report: Timing summary (Setup) Timing errors: 0 Score: 0 Cumulative negative slack: 0
Constraints cover 3172 paths, 3 nets, and 622 connections (99.8% coverage)
– Can I block a failing path?
• Asynchronous Path (Reset, etc.)
– Can I multicycle a path?
• Are the two clocks related? • Does combinatorial data need to be ready in 1 clock? Cross Domain
STOP and Think When
– tw1 file does meet all the timing.
– Use tw1 pass timing as “necessary but not sufficient condition” – Many steps can be done using TW1 • Unconstrained path • Clock Domain Transfer • Constraints coverage
Timing Closure Notes for FAE Training - 11/1/2011
Page: 7
Lattice Semiconductor Confidential
GOOD ESTIMATE OF THE RESOURCE UTILIZATION
Synthesis/Map
– Go through *.srr and *.mrp file first, make sure that proper resources are allocated or inferred. – Compare the *.mrp resource utilization with the targeted device, check if the resource usage are balanced
The design is routable but did not achieve timing
The design is not routable
•
ห้องสมุดไป่ตู้
If Routed, use timing tricks
Page: 5 Lattice Semiconductor Confidential
Timing Closure Notes for FAE Training - 11/1/2011
– Pay attention to every preferences
– Check constraints coverage – If too many timing path errors and the timing score is high, go back to RTL.
Something else to Check Outside of *.twr
1. 2. 3. RTL Software Tools/Silicon The Good Correlation or “Conditioning” of the RTL to Better Fit Vendor‟s Software and Silicon
Most designers concentrate on RTL, prefer a push button flow Some designers are less comfortable dealing with the RTL for timing Some designers are against #3 for code portability For timing closure for Lattice‟s low cost FPGAs, # 3 is crucial and most effective Software algorithm Issues are real Issues, more often “Heuristic” usually takes long time to tune and resolve. Spend more time on #3 is also a practical approach for AE/FAE. •
Timing Closure Notes for FAE Training - 11/1/2011
Page: 9
Lattice Semiconductor Confidential
DOING THINGS RIGHT BEFORE GOING INTO PAR
Until now, if you still don‟t have good timing picture, consider the following:
Timing Closure Notes for FAE Training - 11/1/2011 Page: 4 Lattice Semiconductor Confidential
JUDGEMENT ON THE PROBLEM
The design is routable and achieved timing
Fix your RTL
Pipeline Whenever Possible Change arithmetic calculation from serial to parallel Optimize the state machine Trade/off between distributed memory/Block Memory Trade/off between DSP block/Carry-Chain More registering/pipelining opportunity. Check again using *.tw1
– Cross domain constraints – Cross domain analysis
Timing Closure Notes for FAE Training - 11/1/2011
Timing Closure Notes for FAE Training - 11/1/2011
Page: 10
Lattice Semiconductor Confidential
REVIEW OF THE TIMING CONSTRAINTS
Read Trace Report *.twr1/twr File
To Check Unconstraint Path:
To Check Unconstraint Path: select check unconstrained path and full name Blocked path is considered as unconstrained