高阶近似的博客

大概背景是，我需要在 generate 语句中按照 genvar 的值选择性地生成对应部件，即 generate-if，最开始我使用的下边的结构（已简化代码），先声明下，但是可以确定的是，上面这种写法是不合适的，会生成多路选择器（当然由于某些分支不会执行，综合后可能会被优化），然后我就按照下边的方式修改代码，其实也是有问题的。改成这种写法后，VCS不再报越界警告，但vivado和VCS的仿真中都显示 out[i] 的值是X，这便回到了题目中提到的。永远不会执行，因此仿真时 out[i] 的值显示为 X。

前段时间使用PYNQ进行开发时碰到一个很奇怪的bug，想要查看overlay实际运行时的波形，但发现似乎PYNQ的库中并没有提供在线调试的接口。后面经过查找资料发现pynq3.0中增加了对XVC的支持，但目前我使用的版本是2.7，官方提供的PYNQZ2镜像在我的正点原子领航者ZYNQ7020上无法开机，于是考虑能否在2.7的基础上直接将PYNQ升级为3.0，升级过程中遇到了一些问题，但最终可以成功支持XCV，于是写下这篇博客进行记录。

本文利用云服务器+FRP实现内网穿透，可以远程访问本机的jupyter服务器

在使用 Python 递归求解数独问题的时候，碰到了一个隐藏比较深的 bug，特此写下这篇文章记录下来

描述了C语言的volatile

文章目录背景Debug背景在使用MPI并行化矩阵乘向量的实验中，发现如果矩阵的规模规模较大时，就会导致段错误。将错误代码进行简化，如下所示/*File name: seg_error.cHow to compile: gcc -g -Wall -o seg_error seg_error.c*/#include<stdio.h>#include<stdlib.h>#include<string.h>int main(){ int m, n

rand和rand_r

代理服务器原理背景什么是代理服务器为什么会出现 `代理服务器可能有问题，或地址不正确` 的错误动手实验一下使用Python实现简陋的代理服务器运行代理服务器更改主机设置使用浏览器测试背景之所以要写这篇文章，是因为我碰到了如下的问题：在浏览器中输入网址并回车，浏览器显示说代理服务器可能有问题，或地址不正确但电脑此时是联网的，ping www.baidu.com也可以正常运行通过查找资料后，发现了问题所在：打开电脑的控制面板 -> 找到 Internet选项 -> 上方功能栏点击 连接 -