Accurate Register Specifications