正确性
共 6 篇文章
正确性 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 6 篇文章，持续更新中。
IBIS模型之第2部分-IBIS模型总质量的确定
<div>
本文是三部曲系列文章的第 2 部分。第 1 部分（请见参考文献 1）讨论了数字输入/输出缓冲器信息规范 (IBIS) 仿真模型的基本要素，以及它们在 SPICE 环境中的产生过程。本文（第 2 部分）将研究 IBIS 模型正确性检测。第 3 部分将刊登在后续《模拟应用期刊》上，其将介绍 IBIS 用户如何对印刷电路板 (PCB)开发阶段出现的信号完整性问题进行研究。<br />
<
基于Multisim的计数器设计仿真
<span id="LbZY">计数器是常用的时序逻辑电路器件，文中介绍了以四位同步二进制集成计数器74LS161和异步二-五-十模值计数器74LS290为主要芯片，设计实现了任意模值计数器电路，并用Multisim软件进行了仿真。仿真验证了设计的正确性和可靠性，设计与仿真结果表明，中规模集成计数器可有效实现任意模值计数功能，并且虚拟仿真为电子电路的设计与开发提高了效率。<br />
<img a
对非整周期正弦波形信噪比计算方法的研究
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">以双音多频信号为例，通过运用快速傅里叶变换和Hanning窗等数学方法，分析了信号频率，电平和相位之间的关系，推导出了计算非整周期正弦波形信噪比的算法，解决了数字信号处理中非整周期正弦波形信噪比计算精度低下的问题。以C
一种面向瞬时故障的容错技术的形式化方法
<span id="LbZY">软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形
基于MATLAB与FPGA的FIR滤波器设计与仿真
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">数字滤波器是数字信号处理领域内的重要组成部分。FIR滤波器又以其严格的线性相位及稳定性高等特性被广泛应用。本文结合MATLAB工具软件介绍了FIR数字滤
跨阻滤波器的快速实用设计
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px; ">跨阻滤波器是将输入的电流信号转换成电压信号的同时完成信号滤波的一种新型滤波器。给出跨阻滤波器的快速实用设计。通过插入一个电压跟随器，可将常用的电压模式滤