R12 notes & example HDL apps