Formal
共 18 篇文章
Formal 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 18 篇文章，持续更新中。
[验证书籍]Advanced Formal Verification eBook
·[验证书籍]Advanced Formal Verification eBook
[验证书籍]Advanced Formal Verification eBook
·[验证书籍]Advanced_Formal_Verification_eBook
system.rar
安全嵌入式系统的设计技巧.pdf
The Use of Formal Methods
PCIE3.0/4.0接收端（RX）介绍及其测试解决方案
<p>• PCIe 3.0 introduced formal Rx testing</p><p>• Based on stress testing of the DUT in loopback</p><p>◦ Looped back data must be the same as stressed data</p><p>• DUT must support loopback initializ
IEEE_Verilog_2001
<p>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 bot
MT2625_GPIO_Formal_Application_Spec_V0.3
MT2625_GPIO_Formal_Application_Spec_V0.3
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 handl
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, fo
UML2.1.2最新标准
UML2.1.2最新标准，OMG Document Number: formal/2007-11-04。对研究UML最新标准有很好的参考价值。
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 focuse
英文版的Formal method系统分析标准和设计。
英文版的Formal method系统分析标准和设计。
VIP专区-嵌入式/单片机编程源码精选合集系列（125）
<b>VIP专区-嵌入式/单片机编程源码精选合集系列（125）</b><font color="red">资源包含以下内容：</font><br/>1. 介绍一个实用的PCB电路板.<br/>2. VC中的小控件的使用.<br/>3. 电子科技大学的嵌入式系统教程ppt.<br/>4. Altera的NIOS2SOPC平台上的音乐播放的软件模板。
Quartus 2版本5.0
Nios2 ID
java interpreter in formal language and translators
java interpreter in formal language and translators
安全嵌入式系统的设计技巧.pdf The Use of Formal Methods
安全嵌入式系统的设计技巧.pdf
The Use of Formal Methods
四套Latex模版
四套Latex模版，分别是：
A good model for writing Curriculum Vitae；
An excellent package to design slides using LaTeX；
A strong package to make floating figure and table style；
For writing formal letters。
The widespread use of embedded systems mandates the development of industrial software design method
The widespread use of embedded systems mandates the development of industrial software design methods, i.e. computer-aided design and engineering of embedded applications using formal models (framewor
SOME BACKGROUND ON DESIGN PATTERNS The term “design patterns” sounds a bit formal to the uninitiate
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 j
Algorithms(算法概论)pdf
<p>
This book evolved over the past ten years from a set of lecture notes developed while teaching<br />
the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of teaching<br />