Update asm_spec.md