Home
I am Rong “Mantle” Bao. Welcome to my blog, where I bake all my potatoes.
Read my recent posts or browse by tag, and meet some of my friends.
Some deployed web apps:
- Periotris.js (repository): Variant of Tetris based on the periodic table of elements.
- LA32R Instruction Statistics (repository): Count instructions in LoongArch32 Reduced binaries.
- Y Chip Area Visualizer (repository): Visualize Yosys
statreports.
Recent 15 posts
-
When to use Seq or Vec in Chisel?
Use Seq if you just need a Scala array or container. Use Vec if you want a multiplexer. scala.collection.immutable.Seq is purely a Scala-land concept. You can index into it via a Int thanks to its apply function. chisel3.Vec is a hardware contai...
-
Have fun decoding in Chisel
0. Introduction Decoders are everyday components in digital logic designs. Maintaining large, complex decoding circuits can be challenging in vanilla SystemVerilog. Today, we are exploring the utilities provided by chisel3.util.experimental.decod...
-
Finite state machine pitfalls with Chisel: Revisited
A while ago, I wrote about how Chisel’s early optimization breaks common heuristics used by other tools to detect finite state machine patterns. Here is its workaround. Instead of following Chisel’s “advised way”, you need to wrap every next stat...
-
You can’t eliminate useless stack allocations in Rust
The shiny “language of the year” lacks such an important and widely-used feature.
-
HGAME 2025 命题小记 - WEEK2
阅读赛题源码和研究writeup同样重要。（第二部分）
-
HGAME 2025 命题小记 - WEEK1
阅读赛题源码和研究writeup同样重要。（第一部分）
-
A parser for LoongArch instruction encoding table
Turn an AsciiDoc table of LoongArch instruction encodings into a machine-readable format.
-
Much ado about nothing
There’s quite a lot to say about doing nothing.
-
Achilles’s heel of Nushell
Gradual typing is not an excuse for inexpressibility.
-
翻译：《我的电动牙刷坏了，所以我试着重启它》
原标题：My electric toothbrush was acting up, so I tried to reboot it 作者：Raymond Chen 地址：https://devblogs.microsoft.com/oldnewthing/20250128-00/?p=110815 我的电动牙刷坏了。互联网告诉我，我需要重启的我的电动牙刷。 放在40年前，上面最后一句话绝对没有人听得懂。 我的一个参与了USB标准研发的朋友有次给我发邮件，说：“...
-
翻译：《我尝试给闹钟调时间。我失败了。》
原标题：I tried to adjust the time on my alarm clock. I failed. 作者：Raymond Chen 地址：https://devblogs.microsoft.com/oldnewthing/20191104-01/?p=103052 不知为何，我的闹钟非得让我在手机上安装一个应用，结果这个应用还要求我创建账号。 我再强调一遍：为了定闹钟，我居然要在闹钟厂商那里注册账号。 总之，当初我买来这个闹钟时就走过一遍...
-
翻译：《留意文档中的时间用语：参照时刻为何？》
原标题：Be mindful of temporal terms in documents: What is the reference point in time? 作者：Raymond Chen 地址：https://devblogs.microsoft.com/oldnewthing/20250122-00/?p=110797 在诸如功能提案或pull request的文档中，需要特别注意指代时刻的词语，因为语境中隐含的参照时刻并不总是清晰的。 例如，在p...
-
Finite state machine pitfalls with Chisel, SystemVerilog and Vivado
TL;DR: Vivado 2024.1 fails to infer FSMs from Chisel-generated SystemVerilog files due to Chisel’s optimizations; no solutions except manual patching are known by the author as of writing. 1. Background 2. Experiments and results ...
-
Flare-On 11 Writeup - csmantle
Flare-On capture-the-flag event organized by MANDIANT is an annual reverse engineering event featuring creative challenges, a dazzling show-off of various techniques and a broad range of real-world scenarios. The author, as finisher #179 of Flare-On 11, presents the challenges’s writeup in this post.
-
截断Base64编码的不动点: 借助Z3的分析与证明
An English version is available here. 1. 导语 Base64 (Wikipedia, RFC 4648) 是相当常见的编码格式, 可以将任意二进制数据至一个 ASCII 码子集, 其原理为将原始数据中的位视为 $2^6 = 64$ 元字母表中的元素下标. 显然, 由于输入为6位元素而输出为8位元素 (ASCII 字符), 数据在编码后会比原来更长. 若只考虑相同长度的部分 (前缀), 我们能够构造一个 $N$ 元串 $S$ 使得它的 Ba...
- ... See all posts organized by tag.
Subscribe via RSS