嵌入式Linux就业班马上开课了 详情点击这儿

上海报名热线:021-51875830
北京报名热线:010-51292078
深圳报名热线:4008699035
南京报名热线:025-68662821
武汉报名热线:027-50767718
成都报名热线:4008699035
广州报名热线:
020-61137349
西安报名热线:029-86699670

 
嵌入式培训
研发与生产 脱产就业培训基地
3G通信学院 企业培训学院 
  首 页   手机阅读模式   课程介绍   培训报名  企业培训   付款方式   讲师介绍   学员评价  关于我们   联系我们  承接项目 开发板商城
嵌入式协处理器--FPGA
FPGA项目实战系列课程----
嵌入式OS--3G手机操作系统
嵌入式协处理器--DSP
手机/网络/动漫游戏开发
嵌入式OS-Linux
嵌入式CPU--ARM
嵌入式OS--WinCE
单片机培训
嵌入式硬件设计
Altium Designer Layout高速硬件设计
嵌入式OS--VxWorks
PowerPC嵌入式系统/编译器优化
PLC编程/变频器/数控/人机界面 
开发语言/数据库/软硬件测试
3G手机软件测试、硬件测试
芯片设计/大规模集成电路VLSI
云计算、物联网
开源操作系统Tiny OS开发
小型机系统管理
其他类
WEB在线客服
南京WEB在线客服
武汉WEB在线客服
西安WEB在线客服
广州WEB在线客服
点击这里给我发消息  
QQ客服一
点击这里给我发消息  
QQ客服二
点击这里给我发消息
QQ客服三
  双休日、节假日及晚上可致电值班电话:021-51875830 值班手机:15921673576

值班QQ:
点击这里给我发消息

值班网页在线客服,点击交谈:
 
网页在线客服

 
最新出版物、峰会和认证
物联网和云计算峰会
曙海产品研发和生产
公益培训通知与资料下载
现代化的多媒体教室
曙海招聘启示
曙海动态
VxWorks培训班圆满结业[2011-7-2]
Android培训班圆满结业[2011-6-26]
iPhone培训班圆满结业[2011-6-24]
DSP6000培训班圆满结业[2011-6-20]
MTK培训班圆满结业[2011-6-15]
FPGA培训班圆满结业[2011-6-10]
曙海成功实施Sony(索尼)LINUX开发企业培训
[2011-5-19]
曙海成功实施奇瑞汽车单片机开发企业培训[2011-4-8]
第89期FPGA应用设计高级培训班圆满结业
[2011-4-3]
第31期iPhone培训班圆满结业
[2011-3-28]
第67期DSP6000系统开发培训班圆满结业
[2011-3-25]
 
      Synopsys Formality 培训班
   入学要求

        学员学习本课程应具备下列基础知识:
        ◆ 电路系统的基本概念。

   班级规模及环境
       为了保证培训效果,增加互动环节,我们坚持小班授课,每期报名人数限3到5人,多余人员安排到下一期进行。
   上课时间和地点
上课地点:【上海】:同济大学(沪西)/新城金郡商务楼(11号线白银路站) 【深圳分部】:电影大厦(地铁一号线大剧院站)/深圳大学成教院 【北京分部】:北京中山学院/福鑫大楼 【武汉分部】:佳源大厦(高新二路) 【南京分部】:金港大厦(和燕路) 【成都分部】:领馆区1号(中和大道)
最近开课时间(周末班/连续班/晚班)
Synopsys Formality 培训班:2024年1月8日
   学时
     ◆课时: 共5天,30学时

        ◆外地学员:代理安排食宿(需提前预定)
        ☆注重质量
        ☆边讲边练

        ☆合格学员免费推荐工作

        ☆合格学员免费颁发相关工程师等资格证书,提升您的职业资质

        专注高端培训15年,曙海提供的证书得到本行业的广泛认可,学员的能力
        得到大家的认同,受到用人单位的广泛赞誉。

        ★实验设备请点击这儿查看★
   最新优惠
       ◆团体报名优惠措施:两人95折优惠,三人或三人以上9折优惠 。注意:在读学生凭学生证,即使一个人也优惠500元。
   质量保障

        1、培训过程中,如有部分内容理解不透或消化不好,可免费在以后培训班中重听;
        2、培训结束后免费提供半年的技术支持,充分保证培训后出效果;
        3、培训合格学员可享受免费推荐就业机会。 ☆合格学员免费颁发相关工程师等资格证书,提升您的职业资质。专注高端培训13年,曙海提供的证书得到本行业的广泛认可,学员的能力得到大家的认同,受到用人单位的广泛赞誉。

       Synopsys 软件培训班(上)
 
第一阶段 Synopsys Formality
本课程可帮助IC工程师进一步全面系统地理解IC设计概念与方法。培训将采用Synopsys公司相关领域的培训教材,培训方式以讲课和实验穿插进行。
Overview
This eight-day workshop covers, via lecture and lab, the basics of formal verification. On the first day, students will apply a formal verification flow for:
  • Verifying a design
  • Debugging a failed design
On the second day, students will apply an extended flow in order to:
  • Optimize Formality for common hardware design transformations
  • Increase debugging capability through techniques such as pattern analysis
  • Maximize verification performance
Objectives
At the end of this workshop the student should be able to:
  • Describe where Formality fits in the design flow
  • Read a reference design and the libraries for that design into Formality
  • Read a revised design and the libraries for that design into Formality
  • Set up for verification interactively and with scripts
  • Handle common design transformations for easiest verification
  • Guide Formality in matching names between two designs
  • Verify that two designs are equivalent
  • Debug designs proven not to be equivalent
  • Optimize reads, compare point matching and verification
Audience Profile
Design or Verification engineers who understand traditional functional verification methods, and who want to perform verification more quickly, without using vectors.
Prerequisites
Knowledge of digital logic.
Course Outline
第一部分
  • Introduction
  • Controlling Formality
  • Setting up and running Formality
  • Debugging designs proved not equivalent
第二部分
  • Design transformations and their effect on equivalence checking
  • Advanced debugging
  • Maximizing performance
第二阶段 Synopsys Prime Time 1
Overview
This workshop shows you how to maximize your productivity when using PrimeTime. You will validate and enhance run scripts, quickly identify and debug your design violations by generating and interpreting timing reports, remove pessimism with path-based analysis, and generate ECO fixing guidance to downstream tools.
Topics include:
  • Preparing for STA on your design, including investigating and analyzing the clocks that dictate STA results
  • Validating inherited PrimeTime run scripts
  • Leveraging the latest PrimeTime best practices to create new run scripts
  • Identifying opportunities to improve run time
  • Performing static timing analysis
  • Providing ECO fixing guidance to downstream tools
Objectives
At the end of this workshop the student should be able to:
  • Interpret the essential details in a timing report for setup and hold, recovery and removal, and clock-gating setup and hold
  • Generate timing reports for specific paths and with specific details
  • Generate summary reports of the design violations organized by clock, slack, or by timing check
  • Validate, confirm, debug, enhance, and execute a PrimeTime run script
  • Create a PrimeTime run script based on seed scripts from the RMgen utility
  • Identify opportunities to improve run time
  • Create a saved session and subsequently restore the saved session
  • Identify the clocks, where they are defined, and which ones interact on an unfamiliar design
  • Reduce pessimism using path-based analysis
  • Use both a broad automatic flow for fixing setup and hold violations and a manual flow for tackling individual problem paths.
Audience Profile
Design or verification engineers who perform STA using PrimeTime.
Prerequisites
To benefit the most from the material presented in this workshop, students should have:
  • A basic understanding of digital IC design
  • Familiarity with UNIX workstations running X-windows
  • Familiarity with vi, emacs, or other UNIX text editors
Course Outline
第一部分
  • Does your design meet timing?
  • Objects, Attributes, Collections
  • Constraints in a timing report
  • Timing arcs in a timing report
  • Control which paths are reported
第二部分
  • Summary Reports
  • Create a setup file and run script
  • Getting to know your clocks
  • Analysis types and back annotation
第三部分
  • Additional checks and constraints
  • Path-Based Analysis and ECO Flow
  • Emerging Technologies and Conclusion
 
第三阶段 Synopsys Prime Time 2
PrimeTime: Debugging Constraints
Overview
This workshop addresses the most time-consuming part of static timing analysis: debugging constraints. The workshop provides a method to identify potential timing problems, identify the cause, and determine the effects of these problems. Armed with this information, students will now be able to confirm that constraints are correct or, if incorrect, will have sufficient information to correct the problem.
Incorrect STA constraints must be identified because they obscure real timing violations and can cause two problems: either the real violations are missed and not reported or violations are reported that are not real, making it difficult to find the real violations hidden among them.
Objectives
At the end of this workshop the student should be able to:
  • Pinpoint the cause and determine the effects of check_timing and report_analysis_coverage warnings
  • Execute seven PrimeTime commands and two custom procedures to trace from the warning to the cause and explore objects in that path
  • Systematically debug scripts to eliminate obvious problems using PrimeTime
  • Independently and fully utilize check_timing and report_analysis_coverage to flag remaining constraint problems
  • Identify key pieces of a timing report for debugging final constraint problems
Audience Profile
Design or Verification engineers who perform STA using PrimeTime
Prerequisites
To benefit the most from the material presented in this workshop, students should have:
  • Have taken PrimeTime 1
OR
Possess equivalent knowledge with PrimeTime including:
  • Script writing using Tcl
  • Reading and linking a design
  • Writing block constraints
  • Generating and interpreting timing reports using report_timing and report_constraint commands
Course Outline
Unit 1: Tools of the Trade
  • Lab 1 A Guided Tour of the Tools of the Trade
  • Lab 2 Choose the Correct Command and Apply It
Unit 2: Complete Qualification of PrimeTime Inputs
  • Lab 3 Find and Debug Potential Constraint Problems
第四阶段 TetraMAX 1
Overview
?????? In this two-day workshop, you will learn how use TetraMAX? the Synopsys ATPG Tool, to perform the following tasks:
  • Generate test patterns for stuck-at faults given a scan gate-level design created by DFT Compiler or other tools
  • Describe the test protocol and test pattern timing using STIL
  • Debug DRC and stuck-at fault coverage problems using the Graphical Schematic Viewer
  • Troubleshoot fault coverage problems
  • Save and validate test patterns
  • Troubleshoot simulation failures
  • Diagnose failures on the ATE
This workshop includes an overview of the fundamentals of manufacturing test, including:
  • What is manufacturing test?
  • Why perform manufacturing test?
  • What is a stuck-at fault?
  • What is a scan chain?
?????? This workshop also includes an overview of the Adaptive Scan and Power-Aware APTG features in TetraMAX?
Objectives
At the end of this workshop the student should be able to:
  • Incorporate TetraMAX?ATPG in a design and test methodology that produces desired fault coverage, ATPG vector count and ATPG run-time for a full-scan or almost full-scan design
  • Create a STIL Test Protocol File for a design by using Quick STIL menus or commands, DFT Compiler, or from scratch
  • Use the Graphical Schematic Viewer to analyze and debug warning messages from Design Rule Check or fault coverage problems after ATPG
  • Describe when and how to use at least three options to increase test coverage and/or decrease the number of required test patterns
  • Save test patterns in a proper format for simulation and transfer to an ATE
  • Validate test patterns using Verilog Direct Pattern Validation or MAX Testbench
  • Use TetraMAX diagnosis features to analyze failures on the ATE
Audience Profile
?????? ASIC, ASIC, SoC, or Test Engineers who perform ATPG at the Chip or SoC level
Prerequisites
?????? To benefit the most from the material presented in this workshop, students should have taken the DFT Compiler 1 workshop or possess equivalent knowledge with DFT Compiler and fundamentals of manufacturing test including:
  • Understanding of the differences between manufacturing and design verification testing
  • Stuck-at fault model
  • Internal and boundary scan chains
  • Scan shift and capture violations
  • Major scan design-for-test rules concerning flip-flops, latches, and bi-directional/tri-state drivers
  • Understanding of digital IC logic design
  • Working knowledge of Verilog or VHDL language
  • Familiarity with UNIX workstations running X-windows
  • Familiarity with vi, emacs, or other UNIX text editors
Course Outline
第一部分
  • Introduction to ATPG Test
  • Building ATPG Models
  • Running DRC
  • Controlling ATPG
第二部分
  • Minimizing ATPG Patterns
  • Writing ATPG Patterns
  • Pattern Validation
  • Diagnosis
  • Conclusion
第五阶段 TetraMAX 2: DSMTest ATPG
TetraMAX 2: DSMTest ATPG
Overview
This workshop discusses at-speed faults and how to use TetraMAX for at-speed test. Topics include description, recommendation, and scripts of transition, small-delay defect, and path-delay fault model ATPG. Also covered are the Onchip Clock Controller (OCC) flow, which leverages the PLL fast clocks, and using PrimeTime to generate the necessary data for at-speed test.
Hands-on labs follow each training module, allowing you to apply the skills learned in lecture. Labs include: using PrimeTime to generate the necessary files for at-speed ATPG; generating the patterns for different fault models in Tetramax; and, finally, using VCS for simulating the patterns generated.
Objectives
At the end of this workshop the student should be able to:
  • Describe the need for At-Speed testing
  • List the At-Speed fault models available
  • Describe the two launch techniques for at-speed faults
  • Successfully edit a stuck-at SPF file to suit at-speed fault model
  • Define the timing exceptions
  • Automate the process of script generation for TetraMAX, using PrimeTime. This script will take care of the false and multi-cycle paths
  • Modify a given stuck-at fault model script to run for an at-speed fault model
  • State the steps required to merge transition and stuck-at fault patterns to reduce the overall patterns
  • Automatically create scripts that can be used in PrimeTime to perform test mode STA
  • Describe the SDD flow
  • Describe the flow needed to successfully use the PLL present in your design to give the at-speed clock during capture mode
  • State the steps needed to perform path-delay ATPG
  • Understand the fault classification in path-delay ATPG
Audience Profile
Engineers who use ATPG tools to generate patterns for different fault models.
Prerequisites
To benefit the most from the material presented in this workshop, you should: A. Have taken the TetraMAX 1 workshop. OR B. Possess knowledge in the following areas:
  • Scan Architecture and ATPG
  • Stuck-At fault model ATPG with TetraMAX
  • SPF file
Course Outline
Module 1
  • Introduction of At-Speed defects
  • Source of Test Escapes and chip failure
  • Requirements for At-Speed testing
  • Popular fault models for At-Speed testing
Module 2
  • Transition Fault model
  • Path Delay Fault model
  • At-Speed Fault Detection Method
  • Techniques to Launch and Capture a Fault
Module 3
  • STIL file
  • Modifications to STIL file for At-Speed testing
  • Generic Capture Procedures
Module 4
  • Timing Exceptions
  • Automated Way to Generate Timing Exceptions form PrimeTime
Module 5
  • TetraMAX Scripts for Transition ATPG
  • Design Guidelines
  • Flow Considerations and Requirements
  • Pattern Merging
  • Automated way to generate the scripts for PrimeTime to perform testmode STA
Module 6
  • What is a Small Delay Defect ATPG
  • How to use PrimeTime to Generate the Slack Data
  • ATPG Flow in TetraMAX
Module 7
  • Requirement of PLL for At-speed faults
  • The various clocks in PLL flow
  • Use QuickSTIL to generate the SPF
Module 8
  • TetraMAX scripts for Path Delay ATPG
  • Fault Classification for Path Delay Faults
  • Generating Paths for TetraMAX Using PrimeTime
  • Reconvergence Paths
  • Hazard Simulation
Module 9
  • Conclusion
  • Topics Covered
  • Fault model and Features of TetraMAX
  • Solvnet Resources
 
版权所有:曙海信息网络科技有限公司 copyright 2000-2012
 
上海总部培训基地

地址:上海市云屏路1399号26#新城金郡商务楼310。
(地铁11号线白银路站2号出口旁,云屏路和白银路交叉口)
邮编:201821
热线:021-51875830 32300767
传真:021-32300767
业务手机:15921673576
E-mail:officeoffice@126.com
客服QQ: 849322415
北京培训基地

地址:北京市昌平区沙河南街11号312室
(地铁昌平线沙河站B出口) 邮编:102200 行走路线:请点击这查看
热线:010-51292078
传真:010-51292078
业务手机:15701686205
E-mail:qianru@51qianru.cn
客服QQ:1243285887
深圳培训基地

地址:深圳市罗湖区桂园路2号电影大厦A座1816
(地铁一号线大剧院站D出口旁,桂园路和解放路交叉口,近地王大厦)
热线:4008699035
传真:4008699035
业务手机:13699831341

邮编:518001
信箱:qianru2@51qianru.cn
客服QQ:2472106501
南京培训基地

地址:江苏省南京市栖霞区和燕路251号金港大厦B座2201室
(地铁一号线迈皋桥站1号出口旁,近南京火车站)
热线:025-68662821
传真:025-68662821
邮编:210046
信箱:qianru3@51qianru.cn
客服QQ:1325341129
 
成都培训基地

地址:四川省成都市高新区中和大道一段99号领馆区1号1-3-2903 邮编:610031
热线:4008699035 业务手机:13540421960
客服QQ:1325341129 E-mail:qianru4@51qianru.cn
武汉培训基地

地址:湖北省武汉市江岸区汉江北路34号 九运大厦401室 邮编:430022
热线:4008699035
客服QQ:849322415
E-mail:qianru5@51qianru.cn
广州培训基地

地址:广州市越秀区环市东路486号广粮大厦1202室

热线:020-61137349
传真:020-61137349

邮编:510075
信箱:qianru6@51qianru.cn
西安培训基地

地址:西安市南二环东段31号云峰大厦1503室

热线:029-86699670
业务手机:18392016509
传真:029-86699670
邮编:710054
信箱:qianru7@51qianru.cn

双休日、节假日及晚上可致电值班电话:021-51875830 值班手机:15921673576


备案号:沪ICP备08026168号

.(2014年7月11)..................................................................................