On the shelf · 2026-09-01
On the shelf
A paper on formal equivalence checking, a textbook on static timing analysis, and old contest problems worked cold, no notes. What is actually on the desk changes weekly. This line does not.
A paper on formal equivalence checking, a textbook on static timing analysis, and old contest problems worked cold, no notes. What is actually on the desk changes weekly. This line does not.