搜索：Formal - 虫虫开发者社区

SOME BACKGROUND ON DESIGN PATTERNS The term “design patterns” sounds a bit formal to the uninitiated and can be somewhat off-putting when you first encounter it. But, in fact, design patterns are just convenient ways of reusing object-oriented code between projects and between ...

下载 159

·

查看 1095

https://www.eeworm.com/dl/647/312789.html 嵌入式/单片机编程

安全嵌入式系统的设计技巧.pdf The Use of Formal Methods

下载 62

·

查看 1138

https://www.eeworm.com/dl/904366.html 技术资料

system.rar

安全嵌入式系统的设计技巧.pdf The Use of Formal Methods

下载 10

·

查看 2342

https://www.eeworm.com/dl/542/423327.html 其他书籍

Advanced ASIC Chip Synthesis Using Synopsys Design Compiler. This second edition of this book descr

Advanced ASIC Chip Synthesis Using Synopsys Design Compiler. This second edition of this book describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools. ...

下载 182

·

查看 1110

https://www.eeworm.com/dl/639/293463.html 文件格式

Data_Structures_and_Algorithms - These notes accompany Data Structures and Algorithms II. The course

Data_Structures_and_Algorithms - These notes accompany Data Structures and Algorithms II. The course, to a large extent, follows on from Data Structures and Algorithms I. However, while DS&A I focused on fundamental datastructures, DS&A II will focus on practical algorithms, appl ...

下载 27

·

查看 1062

https://www.eeworm.com/dl/846785.html 技术资料

PCIE3.0/4.0接收端（RX）介绍及其测试解决方案

• PCIe 3.0 introduced formal Rx testing• Based on stress testing of the DUT in loopback◦ Looped back data must be the same as stressed data• DUT must support loopback initialization and training• Impairments in stress must be controlled and repeatable• DUT must receive stre ...

下载 6

·

查看 8647