摘要：
安装与使用 曾在Windows10下装过MikTeX，并配合vscode插件LaTeX Workshop使用过一段时间；这次转到wsl2中，并使用texlive，所以插件的配置json需要小修改 参考 A Fast Guide on Writing LaTeX with LaTeX Workshop 阅读全文
摘要：
来自 https://blog.csdn.net/zdl177/article/details/105246997 起因是为了启动MC 目录结构 Java总目录下放置多个jdk目录（jdk16.0.2, jkd21.0.2 ...） 基本操作 从Oracle Java等下载目标jdk（感觉直接下zi 阅读全文
摘要：
安装 搭配Windows Terminal使用为佳，在微软商店可下载； 然后依照官网描述即可。 命令行中运行wsl --install即可。不过由于想自行指定发行版，于是： wsl --list --online # 查看分发系统和名字 wsl --install -d Ubuntu-22.04 # 阅读全文
摘要：
Gap-introducing reduction 阅读全文
摘要：
问题描述 全集 $U = { e_1, e_2, ... , e_n }$ 被划分为一系列的子集 $S = { S_1, S_2, ... , S_k }$。且存在一个cost函数$c: S \rightarrow \mathbb{R}^+$。 目标是挑选子集使其覆盖所有全集 $U$ 的元素同时co 阅读全文
摘要：
23/3/14 由 P8774[蓝桥杯 2022 省 A] 爬树的甲壳虫 而来： P1226【模板】快速幂||取余运算 回顾，之前错因 %lld 写成 %d P1082 [NOIP2012 提高组] 同余方程，拓展欧几里得算法，有理数取余 3/15 P2613 【模板】有理数取余，同样是拓展欧几里得 阅读全文
摘要：
长久没用vcs，此次新装design compiler，再次用到lmgrd，报错 （snpslmd）No valid hostids,exiting （snpslmd）EXITING DUE TO SIGNAL 34 Exit reson 2 （snpslmd）snpslmd exited with 阅读全文
摘要：
默认顶层模型名称为top，环境名称为contextp const std::unique_ptr<VerilatedContext> contextp{new VerilatedContext}; const std::unique_ptr<Vxxx> top{new Vxxx{contextp.g 阅读全文
摘要：
情况 用的阿里云ECS，本地apt安装只能到12，所以采取网上说法 curl -sL https://deb.nodesource.com/setup_16.x | sudo -E bash - sudo apt-get install -y nodejs 然后遇到报错 Unpacking node 阅读全文
摘要：
最近用verilator写模块的tb，在这里卡了好久（测半天都是C++写的问题） 要点 变量从小位宽到大位宽显示类型转换（explicit cast）时的位拓展方式，取决于转换前变量的符号性。 倘若转换前为无符号，则拓展为无符号拓展；反之则为有符号拓展。至于转换后的类型，是用来标记拓展后新值符号性用 阅读全文