ZeehLin

状态机是什么？ 一句话定义：状态机：把对象的所有可能情况分成互斥的几种"状态"，明确规定状态之间如何切换。 本质上是对实际情况的一种分类讨论。 为什么需要状态机 状态机解决...

简单介绍了RV64I指令集中auipc指令在NEMU中的执行过程。并对涉及到的一些宏进行了简单分析。...

Proofs are very powerful and are in some ways like computer programs....

有趣的命题 在note1中，提出了两个关于“至少”和“至多”的命题： There are at least three distinct integers x that s...