Update isa_spec.md