Refine assembler specification
Refine assembler spec