Week In Review: Design, Low Power
Formal plus ML; cycle-accurate trace; IP for AI.
semiengineering.com