搜索: 验证方法 - 畅学电子网

文章资料视频课程课时学习计划项目话题小组用户

[ 资料 ] 基于逻辑的程序验证方法在高可信软件开发上的应用.pdf

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库 ...

by 齐欣|上传于 2015-06-17 |163次下载
[ 资料 ] 基于E语言的外部存储器接口的功能验证.pdf

在S0c设计中，传统功能验证方法已显示出其缺点，主要问题有：复杂验证场景难以构建；边缘情况难以覆盖。 ...

by 畅学e|上传于 2015-05-09 |163次下载
[ 资料 ] ATM交换控制电路设计.pdf

异步传输模式(ATM)技术作为宽带应用的基本技术用在局域网和广域网中。该文结合ATM 技术应用，以A ...

by YYJ|上传于 2015-05-18 |162次下载
[ 资料 ] 基于ARM9的数字对讲机基带SoC设计.pdf

数字化是对讲机领域的发展趋势。呆用软硬件协同设计的思想．提出了1种基于ARM946E—S ...

by 畅学e|上传于 2015-05-11 |162次下载
[ 资料 ] 单端反激式开关电源变压器的设计.pdf

基于反激式变压器拓扑原理，设计了单端反激式变压器，用于电缆绝缘电阻测试仪高压电源的DC-DC逆变升压 ...

by 永不止步步|上传于 2015-01-12 |162次下载
[ 资料 ] 基于FPGA的SoC原型验证方法研究.pdf

在SoC设计的多种验证方法之中，基于FPGA的原型验证是一种较为贴近实际芯片的验证方法，可以大幅降低 ...

by 永不止步步|上传于 2014-09-16 |162次下载
[ 资料 ] 单端反激式开关电源变压器.pdf

基于反激式变压器拓扑原理，设计了单端反激式变压器，用于电缆绝缘电阻测试仪高压电源的DC-DC逆变升压 ...

by 倩倩|上传于 2014-06-20 |162次下载