Clifford Wolf

Infos

Event(s):
35th Chaos Communication Congress, 34. Chaos Communication Congress, 33. Chaos Communication Congress, 32. Chaos Communication Congress
Language(s):
English
Track(s):
Hardware & Making, Resilience
Links:
Twitter
Website

Statistics

English
157.6 wpm
904.7 spm
instructionprocessorriscv-formalregisterspecificationproofschecksthingsbugsformalinterfacefilerisc-vcounterprocessorsverificationaddcheckisawritecoupleprogramcoreproveproofstufftoolsstatebehaviorlistreadfindabstractionseasiermemorydesigncyclescourseconsistencyimplementcorrectlyboundedunboundedbettersmallexampleriscv-boundsloadsupport
15.5% Checking done15.5%
0.0% Syncing done0.0%
9.2% Transcribing done9.2%
75.3% Nothing done yet75.3%