Shan5231的博客

原创 IC后端基础概念

形式验证是近几年来兴起的一种验证方法，它需要一个正确的模型作为参考，把待验证的电路与正确的模型进行比较，并给出不同版本的电路是否在功能上等效的结论，它利用理论证明的方法来验证设计结果的正确性。由于静态验证是由工具自动完成的，不需要人工过多的干预，所以通常对所设计的电路首先进行静态验证，以纠正一些比较明显的错误，然后再动态仿真，确定其具体行为是否正确。动态仿真验证主要是模拟电路的功能行为，必须给出适当的激励信号，然而很难选择激励来达到覆盖电路所有功能的目的，同时动态仿真很耗费时间。如图为静态验证流程。...

原创 数电基础知识

如果前级驱动够强劲，电路就能按照趋势变化下去，一定时间后该点的值就会变化为“正确值”，如果驱动不够强劲，电路就会恢复之前的值，最终得到何值是不可控的，所以我们要避免亚稳态。也就是说，NLDM模型是一个二维的查找表，其中两个输入变量是inputtransition time和output capacitance，表中的内容是该timing arcs的延迟。偏移会一直存在，因此FPGA在设计时，会进行优化，采用全铜工艺和树状结构，设计专门的始终缓冲和驱动网络，使得时钟到达不同单元时的路径一样长，尽量减小偏移。.

原创 Arduino入门（一）

一、入门语法Arduino - 板的说明_安科网Barrel插口是电源（桶插座）晶振帮助Arduino处理时间问题。 Arduino如何计算时间？ 答案是，通过使用晶体振荡器。 在Arduino晶体顶部打印的数字是16.000H9H。 它告诉我们，频率是16,000,000赫兹或16MHz。常量：结构数字 I/O模拟 I/O扩展 I/O时间函数数学函数三角函数随机数函数外部中断函数中断使能函数串口收发函数/************Arduino语言库文件*************/官方库文件非官方库文件..

原创 基础知识：反相器

Q1:NMOS和PMOS区别（1）开通/关断原理（2）一般使用NMOS做下管 使用NMOS当下管，S极直接接地（为固定值），只需将G极电压固定值6V即可导通；若使用NMOS当上管，D极接正电源，而S极的电压不固定，无法确定控制NMOS导通的G极电压，因为S极对地的电压有两种状态，MOS管截止时为低电平，导通时接近高电平VCC。当然NMOS也是可以当上管的，只是控制电路复杂，这种情况必须使用隔离电源控制，使用一个PMOS管就能解决的事情一般不会这么干，明显增加电路难度。 （3）一般使用PMOS做上管 使用P

原创 IC验证入门

IC验证

转载 ASIC&FPGA&SOC

1、ASICASIC即专用集成电路，是指应特定用户要求和特定电子系统的需要而设计、制造的集成电路。 目前用CPLD（复杂可编程逻辑器件）和 FPGA（现场可编程逻辑门阵列）来进行ASIC设计是最为流行的方式之一，它们的共性是都具有用户现场可编程特性，都支持边界扫描技术，但两者在集成度、速度以及编程方式上具有各自的特点.目前，在集成电路界ASIC被认为是一种为专门目的而设计的集成电路。是指应特定用户要求和特定电子系统的需要而设计、制造的集成电路。ASIC的特点是面向特定用户的需求，ASIC在批量生产时与通

转载 转载 数据集

1、气候监测数据集 http://cdiac.ornl.gov/ftp/ndp026b2、几个实用的测试数据集下载的网站sam roweis : datasam roweis : dataSummary of Task Files by TypeThe 4 Universities Data SetWorld Wide Knowledge Base (Web->KB) projecthttp://www.phys.uni.torun.pl/~duch/software.h.

转载 转：读MIT-BIH心电信号

本文代码依据rddata.m文件编写，关于数据结构的格式、意义，我在理解后都写在注释里了，有需要的朋友可以认真看一下。欢迎交流。本文处理的数据是MIT-BIH数据库100.hea和100.dat文件，利用的是matlab工具。%文件名称 : ECG_Plot%实现功能 : 读取MIT-BIH-DB文件，读取信号，对信号加噪声，并利用滤波器去噪，并% 实现图像输出。%参考资料 : rddata.m Author-Robert Tratnig%作者信息 ...

原创 Maatlab取整函数

Matlab中取整函数有: fix, floor, ceil, round.fix朝零方向取整，如fix(-1.3)=-1; fix(1.3)=1;floor，顾名思义，就是地板，所以是取比它小的整数，即朝负无穷方向取整，如floor(-1.3)=-2; floor(1.3)=1;floor(-1.8)=-2，floor(1.8)=1ceil，与floor相反，它的意思是天花板，也就是取比它大的最小整数，即朝正无穷方向取整，如ceil(-1.3)=-1; ceil(1.3)=2;ceil(-1.8)=

原创 matlab中矩阵运算

点运算是处理元素之间的运算 直接/在矩阵计算中只能处理符合矩阵运算法则的运算 矩阵计算和作图都是点运算 在对数值计算时，“./”和“/”没有区别，“.*”和“*”没有区别。 例：对于矩阵A=[a b c d]，1./A=[1/a 1/b 1/c 1/d]，而1/A表示的是A的逆1 ./点除 和.*点乘如果a、b是矩阵，a./b就是a、b中对应的每个元素相除，得到一个新的矩阵；如果a、b是两个数，那么a./b就是普通的除法.*运算符用于矩阵间对应元素的相乘，或数与数之间，数与矩阵之间的相..

原创 diff求导数和差分

原创 MATLAB找心电信号的波峰波谷

function [peaks, locs] = peakfinder(HR_data, fs, min_height, min_dist)%Identifying peaks and location of spikes% min_dist should be multiple of 1/2t1 = 0:1/fs:(length(HR_data)-1)/fs;figureplot(t1, HR_data)hold onfindpeaks(HR_data, 'MinPeakHeight',..

原创 matlab的sscanf

数据列表=sscanf(待读取数据字符串,格式字符串)，详见helpsscanf可以有三个参数，第三个参数是指定匹配几个数据。默认尽可能多的匹配直到结束或出错。在格式化字符串中，有多种占位符（占位符的概念类似C语言）。%d/%i/%ld/%li都是读取有符号整数的。%d表示十进制，%i表示自动(0x开头是16进制，只有0开头是8进制)，%ld/%li针对长整型。%u/%o/%x/%lu/%lo/%lx都是针对无符号整数的。%u是10进制，%o是8进制，%x是16进制。后三个对应长整型

原创 MATLAB常用函数

如已定义stringname接下来代码：PATH= 'C:\Users';HEADERFILE= strcat(stringname,'.hea')signalh= fullfile(PATH, HEADERFILE);% 通过函数 fullfile 获得头文件的完整路径fid1=fopen(signalh,'r');% 打开头文件，其标识符为 fid1 ，属性为'r'--“只读”z= fgetl(fid1);% 读取头文件的第一行数据，字符串格式 用于接下去程序中实现调用路径中的文件数据或修

原创 MATLAB中MOD函数

mod函数是求余函数，用法如下：b = mod(a,m) 返回用m除以a后的余数其中a是被除数，m是除数。

原创 协方差矩阵

参考https://blog.csdn.net/xueluowutong/article/details/85334256

原创 随机过程的贝叶斯滤波

状态方程（xk和xk-1），观测方程(yk和xk)怎么建立状态方程？,怎么引入观测值进行预测？

原创 贝叶斯滤波与卡尔曼滤波涉及基础概念

先验概率，似然概率密度，后验概率似然概率模型：等可能型；阶梯型；直方图型（非线性）；正态分布型

转载 卡尔曼滤波

卡尔曼滤波就是把统计学应用到了滤波算法上.算法的核心思想是,根据当前的仪器"测量值" 和上一刻的 "预测量" 和 "误差",计算得到当前的最优量. 再预测下一刻的量,里面比较突出的是观点是. 把误差纳入计算, 而且分为预测误差和测量误差两种.通称为 噪声.还有一个非常大的特点是,误差独立存在,始终不受测量数据的影响....

转载 高斯白噪声

https://wenku.baidu.com/link?url=mj_wz_9l7PAlURQYi1iOnTnweMxyPvoTWGgoIQdCh2v0Yugt7v_G9QsUkS6Ww-ro2VhJ3L9rsE9kqhqX1V-3TlLNeZdcx_zrLlzZBBIhgqK