虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

Formal

  • The emphasis of this book is on real-time application of Synopsys tools, used to combat various pro

    The emphasis of this book is on real-time application of Synopsys tools, used to combat various problems seen at VDSM geometries. Readers will be exposed to an effective design methodology for handling complex, submicron ASIC designs. Significance is placed on HDL coding styles, synthesis and optimization, dynamic simulation, Formal verification, DFT scan insertion, links to layout, physical synthesis, and static timing analysis. At each step, problems related to each phase of the design flow are identified, with solutions and work-around described in detail. In addition, crucial issues related to layout, which includes clock tree synthesis and back-end integration (links to layout) are also discussed at length. Furthermore, the book contains in-depth discussions on the basics of Synopsys technology libraries and HDL coding styles, targeted towards optimal synthesis solution.

    标签: application real-time Synopsys emphasis

    上传时间: 2017-07-05

    上传用户:waitingfy

  • IEEE_Verilog_2001

    The Verilog Hardware Description Language (HDL) is defined in this standard. Verilog HDL is a Formal notation intended for use in all phases of the creation of electronic systems. Because it is both machine readable and human readable,it supports the development,verification, synthesis,and testing of hardware designs; the communication of hardware design data; and the maintenance,modification,and procurement of hardware. The primary audiences for this standard are the implementors of tools supporting the language and advanced users of the language.

    标签: ieee verilog

    上传时间: 2021-11-09

    上传用户:

  • VIP专区-嵌入式/单片机编程源码精选合集系列(125)

    VIP专区-嵌入式/单片机编程源码精选合集系列(125)资源包含以下内容:1. 介绍一个实用的PCB电路板.2. VC中的小控件的使用.3. 电子科技大学的嵌入式系统教程ppt.4. Altera的NIOS2SOPC平台上的音乐播放的软件模板。 Quartus 2版本5.0 Nios2 IDE版本5.0 硬件平台自己根据软件构建.5. Altera公司的NIOS2SOPC平台上的看门狗试验程序。 Quartus2软件版本5.0 NIOS2IDE软件版本5.0 硬件平台根据软件需求在Quartus2软件中构建.6. Altera公司的NIOS2SOPC平台上的USB使用试验程序。 Quartus2软件版本5.0 NIOS2IDE软件版本5.0 硬件平台根据软件需求在Quartus2软件中构建。.7. ss9012在温度控制中的应用,含有ss9012的详细资料.8. PIC单片机程序设计基础.9. SAA1064四位数码管显示驱动芯片.10. 一个类windows的GUI.目前已有一些基本的控件和基本的图形图像处理能力..11. 51单片机学习的源代码.12. 本人毕业设计原理图,用protel99 se打开..13. I2C在CPLD上的模拟实现源程序,I2C在CPLD上的模拟实现源程序.14. PLC直接与现场控制层的检测仪器仪表设备连接.15. freescale 9s12dp256单片机AD转换原代码.16. freescale 9s12c12dp256 单片机sci通信原代码.17. freescale 9s12dp256单片机spi 通信原代码.18. freescale 9s12dp256单片机 定时器原代码.19. freescale 9s12dp256单片机pwm原代码.20. 在DE2上显示时间的程序.21. 本源码已通过调试,里面有简单的分频做法和点亮18个LED灯.22. M64+MF RC500 程序从初始配置 -- 寻卡 -- 防冲突 -- 选卡 -- 密码验证 -- 读卡 --- 写卡.23. WINAVR下液晶3310的驱动 1. PB4当作RES的控制脚不妥当.24. ds18b20的代码及结构及其介绍 以及一些相关资料.25. 用与嵌入式系统的通用接口源码包括:lcd ,led, com口,keyboard and so on.26. 基于c的电动机保护程序.27. 三极管S8050D英文资料 管脚图等.28. 三端稳压器78L05英文原始资料 管脚图等.29. 1602LCD液晶显示秒表程序 汇编源程序.30. uVision2入门教程.31. 安全嵌入式系统的设计技巧 The Use of Formal Methods.32. 2410的原理图.33. 介绍了PIC18F系列的C语言应用程序.34. 用在X86芯片的,嵌入式系统中的自动更新程序.35. c51下FAT32文件系统的读写程序.36. 嵌入式实验指导书.37. arm中文指令集合.38. 使用8051单片机来实现电机的转速的调节和液晶显示.39. C语言嵌入式系统开发.40. 智源公司的fic8120芯片的介绍.

    标签: 通信电子 线路

    上传时间: 2013-04-15

    上传用户:eeworm