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
How to complete Sign-off STA and timing closure in 65ns
3. STA and ቤተ መጻሕፍቲ ባይዱTSI excel sheet summary........................................................................ 8
a. Processing the generated CSV files...................................................................................................... 8 b. Parsing CSV files........................................................................................................................................ 8 c. Filtering CSV files....................................................................................................................................... 8 d. Reading CSV files to excel sheet........................................................................................................... 9
a. b. c. d. The STA flow.............................................................................................................................................. 5 The STA metrics ....................................................................................................................................... 6 On Chip Variation (OCV) - Design margins ...................................................................................... 6 Xtalk impact in 65nm.............................................................................................................................. 6
EDA先锋关于双沿触发的讨论
以下摘自<<EDA技术月刊第1期>>:请高手解释:既用时钟正沿又用负沿打数据为什么不好?编者提示:很多人入门的时候觉得一个clock两个边沿,为什么不充分利用那?而且一个边沿出数据一个边沿打数据,恰当合理,但是注意物理实现并不像功能仿真那么简单的时序,其中设计到timing closure等问题。
evergreen: 在Westor的《FPGA设计指导手册》中有这样的叙述:“......还有一些设计者为了有稳定的采样,生成了很多相差90度的时钟信号,时而用正沿打一下数据,时而用负沿打一下数据,用以调整数据的采样位置。
这两种做法是万万取不得的。
” 可是我的一个设计中,有很多级,上一级的计算结果数据是下一个模块的输入数据,我就是使用的这样的方法:上一级输出的数据以上升沿为准,有一个一个周期的数据有效信号,对应于上升沿,那么下一级就从下降沿采样,正好从数据有效信号的中间采样,输出的数据以下降沿为准;再下一级的模块,又从上升沿采样,......。
我觉得这样挺好的。
如果不是这样,则第二级也从上升沿采样,不仅晚了一个周期,而且数据有效信号只有一个周期,采样的同时,数据有效信号也正在变为无效,岂不是更不保险? Liuth: 我的观点:1、从速度的角度,如果利用时钟的上下沿分别采样能完成的电路,那么肯定可以用双倍时钟的上升沿进行采样。
而且由于采用上下沿采样,系统的最高频率减半,从而影响到不需要上下沿工作的电路。
2、用上升沿采样的时间非常短,而两级电路之间的延迟远远大于它,所以不会出现采样不稳定。
此外,只要是时钟边沿采样信号就必然要满足Tsetup和Thold。
westor: 这个问题讨论的这么热烈!我也凑一下热闹。
这个问题简单的说有以下几点:1、就像liuth 前面提到的,如果你用一个时钟的上下沿同时操作,用该时钟的同相倍频时钟也能实现相同的功能。
换句话说,你使用一个时钟的上下沿同时操作,相当于你使用了一个同相的倍频时钟!2、实使用时钟的上下沿同时操作,如果作者清晰的意识到了注意事项,也不是不可以接收的,但是使用者经常意识不到前面大家说的那些注意事项。
第八讲:静态代码质量分析技术
模型检测(Model Checking)
抽象解释(Abstract Interpretation)
符号执行(Symbolic Execution)
基于缺陷模式的主要工具
Jlint 主要采用数据流分析技术,速度快 没有误报 FindBugs 内置较多的缺陷模式 有较好的应用(google) PMD 格式为主,可以灵活增加新缺陷模式 以抽象语法树为基础建立 Coverify 主要针对操作系统 …… CODA 正在开发中……
和操作: L1 + L2 + . . . + Ln = {(i, xi) | xi ∈ Li\{⊥,⊤}} ∪ {⊥,⊤} (i, x) ⊑ (j, y) 当且仅当: i = j 且 x ⊑ y. height (L1 + . . . + Ln) = max{height (Li)}.
计算一个不动点的时间复杂度依赖于 3 个因素: • 格的高度 • 计算 f 的代价; • 测试等价的代价.
一个不动点的计算可以表示为格中,从 ⊥ 开始向上搜索的过程
闭包性质(Closure Properties)
如果 L1,L2, . . . ,Ln 是有限高度的格,那么乘积( product)为: L1 × L2 × . . . × Ln = {(x1, x2, . . . , xn) | xi ∈ Li} 其中 ⊑ 是逐点对应的. ⊔ 与 ⊓ 可以被逐点计算 height (L1 × . . . ×Ln) = height (L1) + . . . + height (Ln)
1、偏序(partial order)
假设 X ⊆ S. y ∈ S 是X的上界(upper bound), 记作 X ⊑ y, 如果: ∀x ∈ X : x ⊑ y 类似地: y ∈ S 是 X 的下界(lower bound), 记作 y ⊑ X, 如果: ∀x ∈ X : y ⊑ x 定义最小上界(least upper bound) ⊔X: X ⊑ ⊔X ∧ (∀y ∈ S : X ⊑ y ⇒ ⊔X ⊑ y) 定义最大下界 (greatest lower bound) ⊓X: ⊓X ⊑ X ∧ (∀y ∈ S : y ⊑ X ⇒ y ⊑ ⊓X)
光电英语词汇(L1)
光电英语词汇(L1)label 标示语,标号labelled compound 标记化合物labelling (1)标记(2)示踪laboratory 实验室lacquer (1)漆(2)喷漆lacquer coating 漆涂层lad running 负载逸行ladder diagram 梯形图ladder filter 梯形滤波器laead wire 引线laer calorimeter 激光量热器laer interferometr manometer 激光千涉气压计laer isotope separation 激光同位素分离laer machnie 激光加工机laer mapping equipment 激光测绘机laer material processing 激光加工laer medium 激光媒质laer microannalysis 激光微量分析laesr satellite tracking installation 激光卫星跟踪装置laevorotatory 左旋光的laevorotatory substance 左旋物质lag (1)移後(2)落後(3)滞lag characteristic 滞後特性lag curve 滞後曲线lagging circuit 滞後电路lagrange's identity 拉格朗日恒等式lagrange's invariant 拉格朗日不变量lagrangian (1)拉氏函数(2)拉氏算符lagrangian desity 拉格朗日密度lagrangke's equation 拉格朗日方程lalsing threshold 激光阈值lamb dip 兰姆凹陷lamb dip frequency stabilization 兰姆凹陷稳频lamb shift 兰姆移动lamb's semiclassical theory 兰姆半经典理论lamber's consine relatino 朗伯余弦关系式lamber't's law radiator 朗伯律辐射体lambert 朗伯lambert's cosine law 朗伯余弦定律lambert's (absorption)law 朗伯(吸收)定律lambertian distrbution 朗伯分布lambertian emitter 朗伯发射体lambertian extened source 朗伯扩展光源lambertian reflector 朗伯反射体lambertian source 朗伯源lambertian source plane 朗伯光源平面lambertian surface source 朗伯表面光源lamella 薄片,薄层lamellar grating 层状光栅lamellar grating interferometer 层状光栅干涉仪lamina (1)薄片,薄板(2)层状体laminar film 片状膜laminar flow dye laser 层流染料激光器laminar grating 层式光栅laminarization 片状化,层状化laminated 分层的,叠片的laminated cell 叠层电池laminated glass 叠层玻璃laminated media 分层媒质lamination (1)分层(2)叠片(3)纹理laminographyx 射线分层法lamp 灯lamp base 灯座lamp black 灯炱lamp bulb 灯泡lamp cord 灯线lamp disply panel 灯光显示盘lamp efficiency 灯发光效率lamp holder 灯座lamp housing 灯罩壳lamp plug 灯插头lamp socket 灯插座lamp switch knbo 灯开关旋钮lamp wire (1)灯线(2)灯丝lamp-house 灯罩land 地land surveying 大地测量landasat 陆地侦察卫星landau shift 兰道移动landing angle 降落角,着陆角landing light system 空降导航灯组landolt band 兰杜特带landolt ring 兰杜特环lang camera 兰氏照相机langley 兰利langmuir dark space 朗缪尔暗区langmuir probe 朗缪尔探针languir turbulence 朗缪尔湍流lanscape lens 取景镜头lantern (1)信号灯(2)幻灯lanthanide 镧lanthanide elements 镧旋元素lanthanum (la)镧lanthanum beryllate laser 铍酸镧激光晶体lanthanum crown glass 镧冕玻璃lanthanum flint glass 镧火石玻璃lanthanum fluoride 氟化镧lanthanum fluoride active medium 氟化镧激活媒质lanthanum glass 镧玻璃lanthanum oxysulfide laser (los laser)氧化硫化镧激光器lanthanum titanate 钛酸镧lanthanum titanate single crystal 錩酸镧单品lanthar lens 兰泰尔镜头lanu montonic scattering 劳厄单色散射lanuchvehicel 运载火箭lap joint 搭接,叠接laparoscope 腹腔镜laplace transform 拉普拉斯变换laplacian edge enhancement 拉卜拉士算符边缘增强laplacian operator 拉普拉斯算符lapping (1)抛光,研磨(2)搭接,重叠(3)余面lapping machine 精研机lapping plate 精研板lapping powder 研磨粉laps 磨刀large aperture lenses (150mm) 大口径透镜(直径150mm以上) large area tansmittance density 大面积透射系统large field speckle interferometery 大视场光斑干涉测量法large interference microscope 大型干涉显微镜large matrix store 大容量矩阵存储器large optical cavity 大光学共振腔large otpical cavity laser 大光腔激光器large projection display 大型投影显示large radius rsonator 大半径共振腔large resarch microscope 大型科研显微镜large scale digital computer 大型数字计算机large scale integrated circuit 大规模集成电路large scale metrology 大尺寸测量法large screen disply 大屏幕显示large signal amplifier 大信号放大电路large toolmaker's measuring microscope 大型工具测量显微镜large-angle scanning 广角扫描large-aperture optical system 大孔径光学系统large-capacity communication 高容量通信large-core fiber 粗光纤large-diameter lens 大口径透镜large-displacement holography 大位移全息照相术large-fresnel-number optical resonator 大菲涅耳数光学共振器large-scale integration (lsi)大型积体电路larmor prescession frequency 拉莫尔进动频率laryngoscope 喉头镜lasability 可激射性lasable 可激射的lasable dye 可激射染性lasant 激射物lasar oscillator-amplifier system 激生振荡放大系统lascr 光启矽控整流器lascs 光启矽控开关lase 光激射lase crystal 激光激晶体lasecon 激光转换器laser 雷射laser (light amplification by stimulated emssion of radiation)(1)激光(2)激光器laser absolute gravimeter 激光绝对重力计laser absorption spectroscopy 雷射吸收光谱学laser absortion 雷射切削laser accelerator 激光加速器laser accelerometer 激光加速度计laser accumulation 激光能量聚集laser acoustic signal 激光一声学信号laser acquistion system 激光搜索系统laser action 激光作用laser activation 激光引发laser activity 激光性能laser aerocamera 激光航空照相机laser aid 激光装置laser aiming (1)激光瞄准(2)激光引导laser aligner 激光准直器laser alignment error 激光准直误差laser alignment telescope 激光瞄准望远镜laser altimeter 激光高度计laser amplifier 激光放大器laser anemometer 激光风速计laser anemometer signal 激光风速计信号laser anemometry 激光风速计量laser annealing 激光退火laser annealing equipment 雷射退火装置laser appliation in ophthalmology 眼科激光应用laser arrangment 激光装置laser array 激光阵列laser arrray source package 激光阵列源件laser arry axis 激光阵列轴laser automatic tracking system 激光自动跟踪系统laser back scatter device 激光後向射装置laser baem follower 激光束跟踪装罝laser bandwith 激光带宽laser bar 激光棒laser basic mode 雷射器基模laser beam (1)激光指向标(2)激光信标laser beam aplitter 激光分光镜laser beam danger 激光束laser beam disflection sensor 激光束损伤危险laser beam expander 激光束偏转传感器laser beam flying 激光束望远镜laser beam focus 激光束扫描laser beam foucing 激光束焦点laser beam profile measuring equipment 雷射光束波形量测器laser beam tracker 激光跟踪器laser beam trapping 激光束俘laser beam welding 激光束焊接laser beam-expanding telescope 激光束扩展器laser bioeffect 激光生物效应laser bleaching 激光漂白laser boring 激光打孔laser callimator 激光准直仪laser cammera 激光摄像机laser carrier 激光载波laser cavity 激光器腔laser cavity configuration 激光腔体结构laser cavity dumper 激光腔倒空器laser ceilmeter 激光测云仪,激光云高计laser ceilomenter 雷射云罩测高仪laser cell sorting 雷射式细胞析出laser cells 雷射用盒laser channel capacity 激光信道容量laser coagulators (ar, yag)雷射光凝固设备(argon,yag) laser coagulators (ar, yag)雷射光凝固设备(argon,yag) laser coating 激光镀膜laser coelosate 激光定向仪laser color printers 彩色雷射印表机laser colorimeter 激光色度仪laser colour film recorder 激光彩色胶片记录器laser computing machine 激光计算机laser cone calorimeter 激光锥形量热器laser control equipment 雷射控制设备laser controlled area 雷射控制区laser cooling 雷射冷却laser correlation spectroscopy 激光相关光谱学laser criber 激光划线器laser cross-beam velocimeter 交叉激光束速度计laser crystal orientatin instrument 激光晶体定向仪laser cutting 激光切割;雷射切割laser damage 雷射破坏laser damage in crystal 晶体激光损伤laser damage in optical coating 玻璃激光损伤laser damage threshold 光学镀层激光损伤laser defect inspection equipment 雷射缺陷检查设备laser deflection 激光损伤阈laser defletor 激光偏转laser demdulator 激光偏转器laser density probe 激光媒质密度探针laser designator 激光指示器laser detector 激光探测器laser diagnostics 激光诊断laser digital color copy machines 彩色雷射数位影印机laser digital monochrome copy machines 单色雷射数位影印机laser diode 激光二极管laser diode array 雷射二朽体阵列laser diode coupler 雷射二极体偶合器laser diodes 雷射二极体laser disc (ld)playersld 影碟机laser discsld 影碟片laser displacement meters 雷射移位计laser display 激光显示laser displays 雷射显示器laser distance detecotr 激光测距仪laser dopple homodyne detection 激光多普勒零拍检测laser doppler velocimeter 激光多普勒测速计laser doppler anemometer 激光多普勒风速计laser doppler blood current velocity meters 雷射都卜勒血流计laser doppler radar 激光多普勒雷达laser doppler rotational speed meters 雷射都卜勒转速仪laser doppler spectrometer 激光多普勒分光计laser doppler velocimeter 雷射都卜勒速度计laser doppler velocimeters 雷射都卜勒测速计laser doppler velocimetry (ldv)激光多普勒测速法laser dppler veloicty meassuremtn 激光多普勒测速laser drill 雷射钻孔laser dust monitors 雷射粉尘监视器,粒径量测器laser dyanamic balancing 激光动平衡laser dye 激光染料laser dyes 雷射用染料laser enrichment 激光浓缩laser entertainment equipment 雷射娱乐器材laser enxtensometer 激光延伸计laser equipment for printing 印刷制版用雷射装备laser etalon 激光标准具laser evaporation and deposition 激光蒸发与淀积laser exciation 激光激发laser exciter 激光激发源laser extension meter 雷射拉伸计laser eye protection 眼的激光防护laser eyewear 雷射护目镜laser facsimile printing 激光传真印刷laser facsimiles 雷射传真机laser fiber-optic transmission system 雷射光纤传输系统laser fingerprint detectors 雷射指纹检测器laser flow cyto meters 雷射流体细胞仪laser flowmeter 激光流量计laser focal shift monitor 激光焦点移测器laser focusing system 激光聚焦系统laser footprint 雷射足迹laser frequency 激光频率laser frequency doubling 激光倍频laser frequency measurement 雷射频率测量laser frequency stability 激光频率稳定性laser frequency switch 雷射频率开关laser fusion 激光核聚变laser gain switching 激光增益开关laser gear 激光设备laser generated secod harmonic wave 激光辐射二次谐波laser generation 激光振荡laser generator 激光发生器laser geodynamic satellite 激光地球动力卫星laser glass 雷射玻璃laser gravimeter 激光重差计laser grooving 激光刻槽laser guidancel 激光制导laser guided weapon 激光制导武器laser gun 激光炮laser gyro axis 激光陀螺轴laser gyro package 激光陀螺装置laser gyroscope 激光陀螺laser gyroscope (or gyro)雷射回转器,雷射陀螺仪laser harmonic 激光谐波laser hazard 雷射危害laser head 雷射头laser head assembly 激光头装置laser head of plasma 激光加热等离子体laser heterodyne acoustic sensor 激光外差式声学传感器laser heterodyne system 激外差拍系统laser heterodynes measurement 激光外差测量laser hologram (1)激光全息图(2)激光全息照片laser holographic camera 雷射全像照相机laser homing equipment 激光寻的装置laser homing head axis 寻的头轴laser host material 激光基质材料laser illumination 激光照明laser illuminator 激光照明器laser image-speckle interferometer 激光像斑干涉仪laser imagery rectoder 图像记录器laser imate converter (lic)激光图像转换器laser implosion 激光向心爆炸laser induced 激光感生的,激光感应的,激光引发的laser induced alignment 激光感生准直laser induced breakdown 激感生击穿laser induced chemical reasction 激光致化学反应laser induced crack 激光致裂纹laser induced damage 激光致损伤laser induced fluorescence 激光感生荧光laser induced fluorescence spectroscopy 激光感生荧光光谱学laser induced fluorescene spectrum 激光感生荧光光谱laser induced gas 激光感生气体laser induced photodissociation 激生感生光解laser induced spark light source 激光感生火花光源laser initiated 激光引发的laser instrumentation 激光计测laser intelligence data 激光信息数据laser interfermetry 激光干涉测量laser interferometer 雷射干涉计laser interferometer camera 激光干涉仪照相机laser interferometer with autophoto-electrial conunting 自动光电记数激光干涉数laser intergfermeter 激光干涉仪laser interplanetar communication 行星际激光通信laser intersatellite communication 卫景间激光通信laser intra-acvity technique 激光内腔技术laser irradiated surface 激光辐照面laser irradiation 激光辐照laser isotope sparation 雷射同位素分离laser job shops 雷射加工代工中心laser kerr cell 激光克尔盒laser laryer 激射层laser length measuring machine 激光测长机laser length standar 激光长度基准laser lenses 雷射透镜laser level 激光能级laser level meter 激光水平仪laser leveler 激光水平仪laser levels 雷射水平仪laser leviation 激光悬浮laser levver 激光器杠杆laser lighthouse 激光灯塔laser ligth demodulating system 激光解调系统laser ligthing 激光照明laser line 激光线laser line filter 雷射线滤器laser line-scanning sensor 激光线扫描传感器laser linear comparator 激光线性比较仪laser linewidth 雷射光谱线宽laser linewith 激光线宽laser local oscillator 激光本机振荡器laser locator (1)激光定位器(2)激光探测器laser locking 激光同步laser lockon (1)激光跟踪(2)激光锁定laser lunar ranging 激光月球测距laser machining 激光加工机laser marking-off equipment 雷射标线设备laser material 激光材料laser medicine 激光医学laser medium 雷射介质laser melt quenching 激光熔融猝灭laser memory 激光存储器laser micromachining 激光微型工laser microscope 激光显微镜laser microscopes 雷射显微镜laser microscopy 雷射显微术laser mirror 激光器反射镜laser mirrors 雷射面镜laser missile tracker 激光导弹跟踪仪laser modulation 激光调制laser modulation distance meters 雷射调变测距方式距离感测器laser modulator 激光调制器laser monochrome printers 单色雷射印表机laser needles for acupuncture 雷射针(针灸用)laser noise 激光噪声laser nozzle 激光喷嘴laser onding 激光焊接laser opthalmoscope 激光检眼镜laser optical bench 激光光具座laser optics 激光光学laser optoacoustic detection 激光生声探测laser optoacoustic method 激光光声法laser oscillation condiation 激光器的振荡条件laser oscillator 激光振荡器laser outer diameter measuring sensors 雷射外径测定器laser output spectrum 激光输出光谱laser pattern generation 雷射图形产生器laser pen 雷射笔laser phased array 激光相控阵列laser photochemistry 雷射光化学laser photocoagulator 激光凝聚器laser photography 激光照相术laser photometer 激光光度计laser photometry 激光光度学laser phtolysis 激光光解laser physics 激光物理学laser piercing power 激光穿透能力laser pipe fibre optics 激光管纤维光学laser plasma tube 激光器等离子管laser platform 激光平台laser plume 激光羽laser pointers 雷射指示器laser pollution detective devices 雷射公害检测设备laser positioning equipment 雷射定位设备laser power 激光功率laser powered engine 激光动力引擎laser precision length measurement 激光精密测长laser printer 激光印刷机laser probbility 激光跃迁概率laser probe 激光探针laser probing 激光探测laser processing 激光加工laser projection microscope 激光投影显微镜laser protective eyewave 激光护目镜laser protective housing 雷射安全(保护)罩laser pulment level 激光锤准器laser pulse length 激光脉冲长度laser pump (1)激光泵(2)激光抽运laser pumping 激光抽运laser pyrolysis gas chromatography 激光热解气体色谱法laser q-spoiler, q-spoiler 雷射抑制器laser q-switchesq 开关laser radar 激光雷达laser ramn specrophotometer 激光喇曼分光光度计laser range finder 测光测距仪laser rangefinder 雷射测距仪laser rangefinding 激光测距laser rangepole 激光测距竿laser ranging station 激光测距站laser rate equation 激光速率方程laser recevier system 激光接收系统laser reconnaissance camera 激光侦察照相机laser recorder 激光记录器laser reflector 激光反射器laser reflow soldening 雷射动流焊接laser rendezvous technique 会合用激光技laser resistor trimming 雷射电阻微修整laser resonator 激光器共振腔laser rifle 激光桧laser rligth 激光laser rod 激光棒laser rods 雷射棒laser safety standard 激光安全标准laser satellite 激光卫星laser satellite tracking station 激光卫星跟踪站laser satellite-to-satellilte communication 卫星间激光通信laser saturation spectrocopy 激光饱和光谱学laser scalper 激光手术刀laser scanner-plotter 激光扫描绘图器laser schieren photography 激光纹影照相术laser schlieren apparatus 激光纹影仪laser searchlight 激光探照灯laser security/surveillance equipment 人体检知感测器,雷射保全设备laser seismometer 激光地震仪laser sensor 激光传感器laser service connection 雷射连接件laser sihgt 激光瞄准器laser singal 激光信号laser skin protection 皮肤的激光防护laser slabs 雷射板laser solution 激光溶解laser spac-to-ground voce link 激光空对地通话系统laser spacraft comunication 宇宙飞船激光通信laser spec communicaion 空间激光通信laser speckle 激光斑点laser speckle interfermetry 激光斑干涉量度术laser spectral output 激光光谱输出laser spectrograph 激光摄谱仪laser spectroscopy 激光光谱学laser spectrum 激光光谱laser spiking 激光尖峰laser squib 激光引爆器laser stark spectroscopy 激光斯塔克光谱学laser strainmeter 激光应变计laser streak velocimeter 激光条纹速度计laser streemetry 激光测体积术laser stylus 激光唱针laser surface inspection equipment 雷射表面检查设备laser surgery 激光手术laser surveillance 激光监视laser switch 激光开关laser system 激光系统laser target 激光靶laser technique in computers 计算机激光技术laser technology in agriculture 农业激光技术laser televison 激光电视laser televison camera 激光电视摄影机laser terrain avoidance sensor 激光防撞传感器laser terrain-clearance indcator 激光测高计laser theodlites/transits 雷射经纬仪laser theodolite 激光经纬仪laser thermal constants measurement equipment 雷射热常数量测设备laser thickness gauges 雷射厚度计laser threshold 激光阈值laser tracked satellite 激光跟踪卫星laser tracker 激光跟踪装置laser trackign head 激光跟踪头laser tracking 激光跟踪laser tracking axis 激光跟踪轴laser tracking subnet 激光跟踪分网laser transfer printing 激光转换印刷laser transit telescope 激光经纬仪laser transition 激光跃迁laser transition frequency 激光跃迁频率laser transmission 激光传剸laser transmitter 激光发射机laser trimmer 激光微调器laser trimming 激光微调laser tube 激光管laser tubes and bores 雷射管laser underwater comunication 水下激光通信laser vaporization 激光汽化laser vector velocimeter 激光矢量速度计laser velocimeter 激光速度计laser velocimetry 激光速度学laser vibration probe 激光振动探针laser videodisk system 激光录盘系统laser voice link 激光通话线路laser watch-dog 激光监视器laser waveform generator 激光波形发生器laser weapon 激光武器laser welder 雷射焊器laser welding 激光焊接laser window 激光窗laser with strip geometry 激光垂直型激光器laser zenith meter 激光垂直仪laser-activated fusion 激光引发聚变laser-based airborne measurement system 激光机载测量系统laser-callibrated 激光校准的laser-doppler anemometry 激光多普勒风速测定法laser-drilling 激光钻孔laser-edp seetup 激光电子数据处理装置laser-electroptic technology 激光电光技术laser-gated 激光选通laser-gated ringt vision sight 激光选通夜视瞄准器laser-guided bomb 激光制导炸弹laser-impack crater 激光冲击口laser-induced fluorescence spectroscopy 雷射激发萤光光谱学laser-irradiated layered target 激光轴照分层靶laser-micro-strin guage 激光微应变计laser-microwave 激光微波laser-mode control 激光模控制laser-plane targe 激光平面靶laser-powered space vehicle 激光动力宇宙飞船laser-produced plasma 激光产产的等离子体laser-quenching 激光淬火laser-scope 激光观察器,激光显示器laser-seeker (1)激光制导导弹(2)激光寻的器laser-target indicator 激光指示器laser-target plasma 激光靶等离子体laser-target positioner 激光靶定位装置laser-triggered spark gap 激光触发火花隙laser-triggered switch 激光触发开关laser-triggered switching (lts)雷射触动开关laser-trimming 雷射微修整laser-welding machine 激光焊接器lasercom (laser communictation)激光通信lasergraphy 激光照相术lasering (1)激光作用(2)产生激光laserium 激光天象仪laserphoto 激光照片传真laservessel 激光器容器lash system 激光半主动寻的系统lasing (1)激光作用(2)产生激光的lasing ability 光激射率lasing action 激光作用lasing diode 激光二极管lasing light emitter (1)激光源,激光发射体(2)相干光源lasing linewidth 激光线宽lasing mode 激光模lasing safety 激光防护lasing threshold 发雷射底限lasing time 激光振荡时间lasr microspectral analyzer 激光显微光谱分析仪lasting ehavior 激光性能latch circuit 闩定电路latching circuit 闭锁电流latching relay 闩定继电路latck 锁闩,插销latensification 潜影加强,潜影强化latent astiggmatism 潜在像散latent color 横向色latent heat 潜热latent image 潜像latent light 潜光latent squint 潜在斜视latent sub-image 亚潜像latent vector 本征矢量later magnification 横向放大lateral adjuster 横向调整器lateral axis 横轴lateral chromatic aberration 横向色像差lateral clinometer 横向测斜仪lateral coherence 横向相干性lateral color aberration 横向色像差lateral discorder 横向无序lateral displaceent loss 横向位移损耗lateral extensometer 横向伸长计lateral interferometry 横向干涉术lateral magnification 横向放大率lateral magnifying power 横向放大率lateral mode (1)横向型(2)横模lateral mode selection 横模选择lateral movement 侧向移动lateral offset loss 横向补偿损失lateral plan 侧视图lateral refraction 横向折射lateral shaear interferometry 横向剪切干涉术lateral shearing interferometer 横向剪切干涉仪lateral shearing interferometric technique 横向剪切干涉计量技术lateral slide 横向带板lateral spherical aberration 横向球面像差lateral view 侧像图lateral vision 横向视觉lateral wave 横向波lateranl aberation 横向像差laternal spherical aberration 横条球面像差latex film 乳胶膜,乳液膜lath 板条lathe 车床latitude (1)纬度,纬度(2)宽容度(3)曝光范围latitude of exposure 曝光宽容度lattic (1)点阵(2)格子lattice 晶格,点阵lattice asymmetry 点阵不对称lattice constant 点阵常数lattice disorder 点阵无序lattice energy 晶格能lattice function 点阵函数lattice matching 点阵匹配lattice point 阵点lattice relaxation 点阵弛豫lattice scattering 点阵散射lattice structure 点阵结构lattice theory 点阵理论lattice vacancy 点阵空位lattice vibration 点阵振动lattice vibrational spectrum 点阵振动光谱lattice wave 点阵波laue camera 劳型x 射线照相机laue diffraction 劳厄衍射laue diffraction equation 劳厄衍射方程laue diffraction pattern 劳厄衍射图样laue interference 劳厄干涉laue method 劳厄法laue phtograph 劳厄照相laue point 劳厄点laue spot 劳厄斑laue symmetry 劳劳厄对称laue's conditions 劳厄条件laue's equation 劳厄方程launch (1)发动,起动(2)激发,激励launch angle 发射角launch escape system 发射逃逸系统launch numerical aperture (lna)发射数值孔径launcher 发射装置,起动装置launching charcteristic 发射特性launching fiber 发射纤维laurent half shade plate 洛冉半影片laurent polarimeter 劳朗偏振计laval nozzle 拉瓦尔喷嘴lavevorotaion 左旋law (1)定律(2)规律law of beer 比耳定律law of brewster 布儒斯特定律law of combination of errors 误差合成定律law of extreme path 极端光程定律law of photoelectricity 光电律law of reciprocity 倒易律,反比律law of reflection 反射定径law of refraction 折射定径law of refraction, snell's law 斯乃耳折射律law of reversibility 可逆律lawson criteria 劳逊判据lawson criterion 劳生判据layer 层,涂层layer optics 薄膜光学layer-to-layer transfer 层间转换layered laser 层状激光器layered target 层状靶laying 瞄准layout (1)设计(2)划线(3)设计图案lc liquid crystal 液晶lcating pin 定位销lcd monitors 液晶监视器lcd projectors 液晶投影机lcd tvs 液晶电视lcos liquid crystal on silicon 单晶矽液晶显示面板leach 沥滤器leaching 沥滤作用,浸析作用lead (1)导线,引线(2)超前,导前(3)前置量lead (pb)铅lead angle (1)前置角(2)超前角lead battery 铅蓄电池lead bem 引导光束lead borate glass 硼酸铅玻璃lead brass 铅黄铜lead bronze 铅青铜lead chloride 氯化铅lead cvered wire 铅包线lead flouride 氟化铅lead gauge 导程检查仪,螺距规lead glass 铅玻璃lead oxide vidicon 氧化铅摄像管lead salts 铅盐类lead screw 丝杆lead screw tester 丝杆检查仪lead selenide 硒化铅lead selenide detector 硒化铅探测器lead silicate glass 硅酸铅玻璃lead strontium photophate crystal 磷酸铅锶晶体lead sulfide detecror 硫化铅检测器lead sulfide film 硫化铅薄膜lead sulfide phtodetector 硫化铅光电探测器lead sulphide 硫化铅lead telluride 碲化铅lead tester 导程检查仪lead vapour tlaer 铅蒸气激光器lead zirconate-titante 锆钛酸铅lead-baffled collimator 铅闸准直差lead-in 引入线lead-lanthanum 铅镧合金lead-tin sulfide exitaxial film 硫化锡铅周附生膜,硫化鍚铅外延膜lead-tin-telluide 铅鍚碲化物lead-tin-telluride crystal 铅鍚碲晶体lead-tin-telluride detector 铅鍚碲探测器leader (1)导杆(2)引出线leading axle 导轴leading edge 前沿leading edge time 前沿时间leadkage impedance 漏泄阻抗leadkage loss 漏泄损失,漏损leaf (1)薄片(2)瓣leaf ofjk diaphragm (1)光阑薄片(2)光圈瓣leaf otpical aystem 薄片光学系统leaf shutter 叶片快门leaf spring 片簧leaf type shutters 叶片式快门leak 泄漏leak detector 检漏仪leak gas 漏气leak-free 不漏的leak-proof 密封的,防漏的leak-tight 密封的,防漏的leakage (1)漏出(2)漏出量leakage current 漏流leakage detector 探漏仪leakage of ligth 漏光leakance 漏电,漏泄电导leaky mode 漏模leaky wave 漏波leaky-mode buried-heterostructure 漏模掩埋式异质结构least circle of aberration 最小像差圈least circle of confusion 明晰圈least distance of ditnice vision 最小明视距离least square 最小二乘方least time principle 最小时间原理leatheretter 人造革lebedfeff polarisin interferometer 列别捷夫偏光干涉仪led chips for communication 发光二极体晶片、晶粒(通信用) led chips not for communication 发光二极体晶片、晶粒(非通信用)led color printers 彩色led 印表机led display systems 发光二极体显示(幕)系统led displays 发光二极体显示器led facsimiles 发光二极体传真机led light emitting diode 发光二极体led monochrome printers 单色led 印表机led reverse mounting type 薄晶片led, 反向黏着型薄晶片led wafers for communication 发光二极体晶圆(通信用)led wafers not for communication 发光二极体晶圆(非通信用) ledsight 预先瞄准lee hologram 李型全息图left circularly polarized light 左旋圆偏振光left-hand circular polarization 左旋圆偏振left-hand polarized electromagnetic wave 左旋偏振电磁波left-hand thread 左旋螺纹left-handed (1)左边的(2)左旋的left-handed circular polarization 左旋圆偏振left-handed circular polarized wave 左旋圆偏振波left-handed mirror iamge 左旋反射镜像left-handed quartz 左旋石英,左旋水晶left-handed rotation (1)左旋,左转(2)左旋光left-handed system 左旋系统leg (1)腿(2)管脚legal measuring instrument 法定测量仪器legal unit of measurement 法定计量单位legendr function 勒让德函数legendre's polynomiials 勒让德多项式legendre's transformation 勒让德变换leiberkuhn illumination 来伯科因照明leiss prism 莱兹棱镜leitez inerference microscope 莱茨干涉显微镜leith-upatnicks hologram 利思-乌帕特尼克斯全息图leitz sector shutter 莱茨扇形快门lelens factor 透镜因数leman prism 莱曼棱镜lenard phosphor 勒钠磷光质lenard ray 勒纳射线lenard tube 勒纳管lenard wiindow 勤纳窗length 长度length bar 量棒length of arc 弧长length of life 寿命length of run 运程length-measuring instrument (1)长度计量仪器(2)测长仪length-measuring machine 测长机lengthwise 纵向的lengthwise modulated laser recording 纵向调制激光纪录lens 透镜lens aberration 透镜像差lens angle 透镜场角lens aperture 透镜有效孔径lens arra 透镜阵列lens barrel 透镜镜筒lens bench (1)透镜组(2)透镜座lens blank 透镜毛坏lens blocking 透坏胶盘lens blooming 透镜敷霜lens board 透镜板lens center 透镜中心lens centering 透镜对中lens centrementer 透镜中心仪lens coating 透镜镀膜lens combgination 透镜组合lens corrected horn 激光校正喇叭lens coupling 透镜藕合lens covering a small angle of field 耦合取景器lens covering a wide agnle of field 窄视角透镜lens curvature 透镜曲率lens detector 透镜探测器lens diaphragm opening 透镜光阑孔lens disk 透镜盘lens doublet 双透镜物镜lens element 透镜元件lens errecting 透镜正像lens fflange 物镜凸缘lens field illumination 透镜视场照明lens holder 透镜架lens isis 透镜可变光阑,物镜光阑lens jacket 透镜套lens light guide 透镜导光管lens measure 透镜量具lens measuring instrument 透片测量器lens meridian 透镜子午线lens molding 透镜模造lens mount 透镜架lens of extreme apeterture 最大孔径物镜lens of variable focal length 可变焦聚透镜lens of wide aperture 大孔径物镜lens opimization comuter program 透镜最优化计算程序lens paper 镜头纸lens pillar 柱状透镜lens power 透镜光学能lens retainer 透护圈lens seat 透镜座lens shade 镜头罩lens speed 透镜速率lens stop 透镜光阑lens surface 透镜表面lens system 透镜组lens sytem 透镜组lens tester 透镜检验器lens testing chart 透镜测式表lens testing equipment 透镜测试设备lens tissue 拭镜纸lens transmission 透镜传递lens tube 透镜管lens turret 透镜转动架lens watch 透镜仪lens wave-beam device 透镜波束装置lens wave-beam guide 透镜光导管lens with automatic diaphragm 自动光阑透镜lens-brush 镜头刷lens-cap 镜头盖lens-carries 镜头析板lens-coated 镀膜透镜lens-copuled viewfinder 透镜lens-errecting telescope 透镜正像望远镜lens-grinding machine 透镜研磨机lens-hood 透镜遮光罩lens-like 类透镜的lens-like medium 类透镜媒质lens-mirror combination 透镜-反射镜组合lens-roughing machine 透镜粗磨机lens-to-image distance 透镜-像间距离lens/optical design consultants 镜头/光学设计顾问lensing 透镜作用lensless 无透镜的lensless aperture 无透镜孔径lensless fourier transform hologram 无透镜傅里叶变换全息图lensless imaging 无透镜成像法lensless matched filter 无透镜匹配滤波器lensless photogrpahy 无透镜照相术lensless real-image camera 无透镜实像照相机lenslet (1)小透镜(2)小晶体lensometer 焦度计lenticular 镜品及射面lenticular color photography 透镜状彩色摄影术lenticular film 两面凸状胶片lenticular image dissection 双凸像解剖lenticular screen 两面凸动屏幕lenticular stereo photography 透镜状立体摄影术lenticular stereograms 透镜状立体图lenticulation (1)透镜光栅(2)双凸镜形成(3)透镜光栅制造法lenz's law 楞次定律lepton 轻子;轻粒子;微子lesn mount 透镜座lesn spectrometer 透镜分光计lesn tensino meter 透镜引力仪lethal weapon 死光死器letterpress printing 凸版印刷leuocscope (1)光学高温计(2)感色计(3)色光光度计level (1)水平面,水平线(2)水准(3)永准差(4)级level ajustemet 水平调准level crosssing method 能级交叉法level de-excitation 能级去激发level deplection 能级耗尽level detector 能级检示器level gage 液面指示器,水准仪level life 能级寿命level line 水准线level meter 液位计level multiplicity 能级多重性level of feeling 感觉级level of significance (1)有水平(2)有效级level sensitivity 水准灵敏度level surface 水准面level surve 水准测量level tester 校水准器level tryer 水平试验器leveling (1)水准测量(2)校平,调平(3)矫正,矫直leveling buble 水准气泡leveling head 校平头leveling instrument 水准仪器leveling screw 校平螺钉levelkey 调平键levelness 水平度levels 水平仪lever (1)杆(2)杠杆(3)柄lever arm 杆臂lever crank mechanism 摆杆曲柄连杆机构lever-arm ratlo 标臂比lever-type dial indicator 杠杆式千分表levgeling mirror 调平镜leviation 浮置levorotation (1)左旋(2)左旋光levortary 左旋levortator (1)左旋的(2)左旋光的lgith gide 光导li-nd phosphate glass 锂钕磷酸盐玻璃liar 光学物镜,光学镜头liberation 释放,放出libraary automotion 程序库自动化libratrion (1)摆动(2)平衡lid 盖,罩lidar 激光雷达life 寿命lifht choppers 斩光器liganed field 配位场ligh microgudide 微型光导管ligh sensitivity (1)光敏性(2)光敏度light (1)光,光线(2)灯(3)光学(4)轻的light absorption 光吸收light absorption line 光吸收线light actiated swicth (las)光敏开关light activated scr 光激可控硅整流器light adapation 光适应light adaptation 光适应light aging 光老化,光阵化,光时效light amplifiction by stimulated emssion of radiation (1)激光(2)激光器。
LATTICE非常详细的时序约束(中文教程)
LATTICE非常详细的时序约束(中文教程)LATTICE SEMICONDUCTOR CORPORATIONPage 1Achieving Timing ClosureJohn LiAgendaTiming closure的概念?Timing closure的步骤?采用合适的Coding Style ?进行适当的综合约束管脚锁定实施Lattice constrains ?Map布局布线控制place and route ?Floorplanning the designLATTICE SEMICONDUCTOR CORPORATIONPage 2Timing closure的概念当前FPGA的设计规模越来越大,复杂程度日益增加,同时要求系统的Perfromace也越来越高。
获得Timing目标越来越困难.设计者必须采用各种技术提升系统性能以满足设计的Timing要求.LATTICE SEMICONDUCTOR CORPORATIONPage 3Timing closure procedure1.采用合适的coding style ?2.进行适当的综合约束3.管脚锁定4.实施Lattice constrains ?5.Map5.布局布线7.控制place and route ?8.Floorplanning the designLATTICE SEMICONDUCTOR CORPORATIONPage 4关于提升FPGA系统性能,工程师最容易想到的方法就是通过进行综合约束、布局布线约束、和其他的优化技术提升系统性能,当然这些都是设计过程中所必需的,但所有这些优化方法对于系统性能的提升都是有限的,系统的性能最终还是取决于工程师的设计(coding style),其中同步设计是最重要的一点. 下面讨论一些具体的coding 技术,合理的运用这些coding技术能够尽可能的减小两级寄存器之间的延时从而获得更高的系统速度.-通用的coding style--Hierarchical Coding---Team Based的设计:多个工程师可以同时参与到一个复杂设计中来。
LATTICE 非常详细的时序约束(中文教程)
©LATTICE SEMICONDUCTOR CORPORATIONPage 1Achieving Timing ClosureJohn LiAgenda•Timing closure的概念•Timing closure的步骤•采用合适的Coding Style •进行适当的综合约束•管脚锁定•实施Lattice constrains •Map•布局布线•控制place and route •Floorplanning the design©LATTICE SEMICONDUCTOR CORPORATIONPage 2Timing closure的概念•当前FPGA的设计规模越来越大,复杂程度日益增加,同时要求系统的Perfromace也越来越高。
•获得Timing目标越来越困难.•设计者必须采用各种技术提升系统性能以满足设计的Timing要求.©LATTICE SEMICONDUCTOR CORPORATIONPage 3Timing closure procedure• 1.采用合适的coding style • 2.进行适当的综合约束• 3.管脚锁定• 4.实施Lattice constrains • 5.Map• 5.布局布线•7.控制place and route •8.Floorplanning the design©LATTICE SEMICONDUCTOR CORPORATIONPage 4关于提升FPGA系统性能,工程师最容易想到的方法就是通过进行综合约束、布局布线约束、和其他的优化技术提升系统性能,当然这些都是设计过程中所必需的,但所有这些优化方法对于系统性能的提升都是有限的,系统的性能最终还是取决于工程师的设计(coding style),其中同步设计是最重要的一点. 下面讨论一些具体的coding 技术,合理的运用这些coding技术能够尽可能的减小两级寄存器之间的延时从而获得更高的系统速度.-通用的coding style--Hierarchical Coding---Team Based的设计:多个工程师可以同时参与到一个复杂设计中来。
Lattice生成黑匣子的方法
Lattice生成黑匣子文件的方法
兰进城n@2014-11-24
一、黑匣子的产生
1、在使用的工程中,将需要生成黑匣子(ngo文件)的.v文件设置成顶层(这里以scaler_top.v
为例)。
2、将综合工具设置成“Synplify Pro”,如下图。
3、在策略中,将“Disable IO Insertion”设置成“True”
3、编译,运行Translate Design
4、在当前工程目录下,打开文件名根工程名一样的文件夹(这里使用的工程名是
machxo2_71lvds_mini),找到一个.ngo文件。
将这个文件名改成scaler_top.ngo,
5、新建一个scaler_top_bb.v的文件,文件内容为scaler_top.v文件的端口列表。
如下图:
6、在策略中,将“Disable IO Insertion”改回来,设置成“false”
7、到这里,生成两个文件,scaler_top_bb.v和scaler_top.ngo,成功产生黑匣子!
二、黑匣子的使用
1、将scaler_top_bb.v文件添加到当前工程。
2、scaler_top.ngo可以放到与当前工程目录下,这样不需要做额外的设置。
如果不是,则需要另外指定路径,指定方法如下图:
3、在顶层文件中,调用scaler_top模块。
模块名使用scaler_top,(注意不是scaler_top_bb)如下图。
4、编译顶层文件。
完。
Closure Lattices
Adachi developed his paper with respect to only a single \lower ideal" closure operator, but it can be easily extended to any uniquely generated closure operator. 2 Note that we are using the standard algebraic notation found in 9] 12], in which binary operations are denoted by in x expressions and unary operations are denoted by su x expressions. This simpli es notation when closure is composed with other operators. The, technically redundant, dot delimiter facilitates automatic parsing in the kind of computer applications for which this theory is being developed.
Abstract
1 Introduction
We let U denote some universe of interest, that is a set of elements, points, or phenomena. Individual points of U will be denoted by lower case letters: a; b; :::; p; q; ::: 2 U. Elements of the power set, 2U , we will denote by upper case letters: :::; X; Y; Z U (or 2 2U ). Our goal will be to partially order these power set elements. A straightforward partial order by inclusion yields a relatively uninteresting boolean lattice, Bn . If, instead, one looks at some underlying structure of the points in U, then uses this to determine the partial order, more interesting results can be obtained. In 18] the author de ned a convexity concept in directed graphs and demonstrated that the collection of convex subsets, partially ordered by inclusion, formed a lower semi-modular lattice. Edelman 6] independently demonstrated the more general result that any lattice of closed sets would be lower semi-modular if the closure operator satis ed an anti-exchange property. He and Jamison re ned these ideas to develop a theory of convex geometriBy a closure operator, ', we mean an operator 2U ?! 2U satisfying the standard closure axioms: C1: X X:' C2: X Y implies X:' Y:' C3: X:':' = X:'2 = X:' which are commonly called the Kuratowski Closure Axioms.2 A set X U is said to be closed if X:' = X . The pair (U; ') is called a closure space 10]. Closure operators are common in mathematics and other disciplines. For example, the spanning operator of linear algebra is a closure operator, as are reachability operators in graph theory, and all convex hull operators. In computer science, the transaction operator of concurrent processing is a closure operator as are certain greedy algorithms. The following lemma reviews a number of closure properties that are virtually immediate from the axioms C1, C2, and C3. Lemma 2.1 The following are basic closure properties: (a) If C is closed and X C X:' then C = X:'. (i.e. X:' is the smallest closed set containing X.)
Altium_Designer中英文词汇翻译
Altium_Designer中英文词汇翻译[检索词汇] altium designer 中英文技术词汇对照PCB AD常用术语翻译对译protel 单词AD9中的英文词汇对照翻译Accept 接受Accuracy 精确度准确度Activate 激活活动启动Add 添加Address 地址Advance 高级Aide 助手辅助Align 排列对齐Alpha 开端Analog 模拟的Analyzer 分析器测定仪&analysis分析Angle 角度观点Annotate 注解&annotator注释者Aperture 孔径光圈Application 应用程序Approximation 接近近似值&approach接近Arc 圆弧弧度Architecture 结构体构造Array 阵列数组Ascend 登高上升Assembly 集合装配Associate 关联的辅助的Asynchronous 异步的&chronous同步的Automatical 自动的Access 存取通道接近Action 行动作用Active 积极的活泼的Adder 加法器Administration 管理员管理器Aggressor 干扰源入侵者&Aggress攻击侵略Alias 别名化名混淆Allow 允许Always 总是永远Analysis 分析研究Animation 动画Any 任意的Applicable 可应用的适用的Apply 应用Arbiter 仲裁器bus arbiter总线仲裁器Architect 设计者制造者Area 面积范围Arrange 安排排列调整Arrow 箭形箭头Assembler 装配器汇编Assign 分配分派指定assign a value分配一个值赋值Astable 非稳态的多谐振荡的Attempt 尝试Available 有效的有用的Backup 备用Bar 标签Base 基极基础基地Batch 批处理批量Begin 开始创建Behavior 行为举止态度Bell 铃钟Between 两者之间Bidir 允许双向unidir单向Bidirectional 双向性Bill 清单Binary 二进制二元的Bistable 双稳bistable unit 双稳态部件Bit 位Bitmap 位图&button bitmap键盘键位图Black 黑色黑色的Blind 盲孔Blip 标志信号&collision blip碰撞标志Block 框栏隔阻&title block标题栏Board 板子牌子委员会Body 物体主干主体Boolean 布尔值Border 边线border set边缘集Bottom 底部Bounce 反弹抖动Breakpoint 中断点断点Broken 破裂的损坏的Browse 浏览browse through浏览Buffer 缓冲器&screen buffer屏幕缓冲Build 构建Bullet 锥形体子弹Bury 埋藏Bus 总线Butterfly 蝶形Button 按钮Bypass 省略Byte 字节Cable 电缆Calculation 计算估计CAM(computer aided manufacturing)计算机辅助制造Cancel 作废删除Capacitor 电容Caption 标题Capture 捕获收集记录Case 实情案例Category 类目范畴部属Cathode 阴极Center 中心Centimeter 厘米Chain 链Change 改变Channel 通道Charge 充电指责指示Check 检测Chart 制成图表Child 子女Chip 集成芯片Circuit 电路Circular 圆环弧形Class 阶层等级Cleanup 清扫工作Clear 清除清零Clearance 清除余地间隙Click 单击点击Clipboard 剪切板Clock 时钟Close 关闭结束Closure 关闭闭幕Code 编码代码Collector 集电极Color 彩色着色Colour 颜色Column 圆柱纵列栏目Combination 组合Comma 逗号Command 命令Comparator 比较器Community 社区群落Compilation 编辑物Compatible 兼容的和谐的Component 元器件组成成分Compile 编辑收集汇编Computer 计算机Composite 合成的复合的综合的Condition 条件Concurrent 并发事件同行Configure 配置Confidence 置信度自信信赖Conflict 冲突Confirm 确认证实Connector 连接端Connectivity 连线Constraint 约束限制因素Console 主控台表盘托架Consumer 用户使用者Construction 构造Continue 继续延伸Contract 缩短Control 控制Convert 转化转变Coordinate 坐标Copper 铜Copy 拷贝复制Core 核Cord 绳线索Corner 角落拐角Corporation 公司企业法人Counter 计数器Courtyard 天井庭院Create 创建Cross 十字符号混合Crosspoint 插入测试点Crosstalk 串扰CRTCrystal 晶体Current 电流当前的流行的Cursor 光标游标指示器Custom 惯例Customer 用户客户Cutout 切出划出挖空Cycle 周期Comment 注释发表评论说明书Dashed 下划线Data 数字数据Databse 数据库资料库Date 日期Daughtrer 子系子插件派生Debug 排错调试Dead 死的Decimal 十进制小数Decade 十进制十年Default 默认值缺省值弃权Decoder 译码器Definition 定义式限定分辨率Define 定义下定义Delay 延时Degree 度等级Demo 演绎演示版Delete 删除Demote 降级降低Deny 否认Description 描述Designator 标识指示者Designer 设计师Destination 目标目的Detail 细节零件Device 装置设备图样器件Diagram 示意图Dialog 对话Diagonal 对角线Difference 差异查分差额Diamond 菱形钻石Digital 数字的Different 不同的Dimension 尺度Dim 朦胧暗淡Direct 指示指令Diode 二极管Disable 无能无效无用Director 指南指导咨询Disk 圆盘Discharge 放点排出释放Distribution 分配分布分发Display 显示Dock 停放连接接驳Divider 分配分割Dot 小点虚线点缀Donut 环形Download 下载Down 下降Draw 绘制描写冲压成型Drag 拖拽Drop 下拉滴落遗漏Drill 钻Duplicate 复制副本Dual 双数的两倍Duty 占空比Edge 边缘Edit 编辑Efficient 高效的有能力的Electrical 电气的电学的电力的Ellipse 椭圆Embed 潜入插入Emitter 射极Emulate 效法Enable 使能激活有效Encoder 编码器End 结束Engineer 设计建造工程师Enter 进入参加Entity 实体Entry 入口Enum 列举型别Error 错误Evaluation 评价评估鉴定Example 例子Excel 胜过优秀突出Execute 执行实施签署Exist 存在的现有的Expand 扩大推广展开Expansion 扩大扩展扩张Expiry 终止期满Explode 爆炸分解Exponent 指数Export 输出出品Explore 探究查询Extra 额外的附加的External 外部的外面的外形Extrude 压制突出Extract 提取摘录Fabrication 制造Frequency 频率Failure 无效毁坏的Function 函数功能False 虚假的伪造的Fail 失败不足Fanout 扇出Fall 下降降落落差Favorite 最爱的(sth sb)Famale 凹的阴的Figure 图形Fatal 致命的Fill 填充Field 现场域范围Filter 过滤器File 文件Find 建立发现Film 胶片First 第一首先Finally 最终的Flash 闪光闪烁曝光Finish 完成结束Flatten 弄平弄直Fit 适合相配Flip-flop 触发器Flat 平的平坦的Floorplan 层平面图Flip 倒转Focus 集中聚焦Float 发行Footprint 封装Flow 流动源自Format 格式Folder 文件夹折叠Formula 公式Force 强制FPGAForum 讨论论坛会Frame 框图塑造Free 自由Framework 架构结构Form 从····起由于Gate 门Generate 产生导致造成Graphic 图形green 绿色Grid 栅格Ground 地面基础Group 组类集聚Guide 引导指南手册Hard 坚硬的困难的Hardware 硬件设备五金Harmonic 谐波谐振Harness 束Hatch 策划画影线舱口Hazard 冒险Hazy 模糊的混浊的Height 高度Help 帮助Hexadecimal 十六进制Hide 隐藏Hierarchy 体系分层系列High 高的高级的高尚的Hint 暗示History 历史记录Horizontal 水平横向Hug 拥抱紧靠Ideal 理想的Identical 相同的相等的恒等的Identifier 识别符Identify 识别标记IDF(integrated data file) 综合资料文件IEEE 电气电子工程师协会Impedance 阻抗Ignore 忽略Import 输入导入Imperial 英制的Include 包含Incident 事变入射Index 索引Increment 增量Inductor 电感Indication 指示表示Information 信息Industry 工业企业产业行业Innovation 创新Initial 最初的开始的Insert 插入嵌入添Input 输入Insight 洞察顿悟Inside 内部的里面的Install 安装Inspector 检查视察Instrument 仪器Instance 实例Integrate 积分的集成使完成使结合Integer 整数Interactive 互动的交互的Integrity 完整的Interface 接口界面Interconnect 互联器Internet 因特网Internal 内部的IPC(industry process control)工业过程控制Interrupt 打断中断Isolate 隔离Island 孤岛岛屿Item 项目条款ISP(In-system programmable)在线编程JTAG(joint test action group) 联合测试行为组Job 工作职业Joint 联合的Jump 跳跃Junctions 结点接点Keep 保持Key 关键钥匙Kind 种类Knowledge 知识Label 标签商标Lattice 晶格点阵Landscape 横向Layer 层Latch 锁存器锁扣LCD(liquid crystal display) 液晶显示器Launch 发射投掷出版LED(light emitting diode) 发光二级管Layout 布置布局Legacy 老化遗留下Learn 学习学会认知Length 长度Left 左边向左Less 较少的Legend 图例图注Library 库图书馆Lens 镜Line 线条线路Level 水平。
半导体一些术语的中英文对照
半导体一些术语的中英文对照离子注入机ion implanterLSS理论Lindhand Scharff and Schiott theory 又称“林汉德—斯卡夫—斯高特理论”.沟道效应channeling effect射程分布range distribution深度分布depth distribution投影射程projected range阻止距离stopping distance阻止本领stopping power标准阻止截面standard stopping cross section退火annealing激活能activation energy等温退火isothermal annealing激光退火laser annealing应力感生缺陷stress—induced defect择优取向preferred orientation制版工艺mask-making technology图形畸变pattern distortion初缩first minification精缩final minification母版master mask铬版chromium plate干版dry plate乳胶版emulsion plate透明版see—through plate高分辨率版high resolution plate, HRP超微粒干版plate for ultra—microminiaturization 掩模mask掩模对准mask alignment对准精度alignment precision光刻胶photoresist又称“光致抗蚀剂”.负性光刻胶negative photoresist正性光刻胶positive photoresist无机光刻胶inorganic resist多层光刻胶multilevel resist电子束光刻胶electron beam resistX射线光刻胶X—ray resist刷洗scrubbing甩胶spinning涂胶photoresist coating后烘postbaking光刻photolithographyX射线光刻X-ray lithography电子束光刻electron beam lithography离子束光刻ion beam lithography深紫外光刻deep-UV lithography光刻机mask aligner投影光刻机projection mask aligner曝光exposure接触式曝光法contact exposure method接近式曝光法proximity exposure method光学投影曝光法optical projection exposure method 电子束曝光系统electron beam exposure system分步重复系统step-and-repeat system显影development线宽linewidth去胶stripping of photoresist氧化去胶removing of photoresist by oxidation等离子[体]去胶removing of photoresist by plasma 刻蚀etching干法刻蚀dry etching反应离子刻蚀reactive ion etching, RIE各向同性刻蚀isotropic etching各向异性刻蚀anisotropic etching反应溅射刻蚀reactive sputter etching离子铣ion beam milling又称“离子磨削"。
- 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