Tag: verilog
- Verilog Programs are Pure Expressions by Gus Smith (19 February 2024)
code-formatting
computer-algebra
design
dragon-curves
fabrication
knitting
l-systems
outreach
pluggable-types
polynomial
pretty-printing
security
side-channels
space
time
type-checking
type-inference
undergraduate-pl
verilog
education
equality-saturation
hardware
program-optimization