SMT Placement from ASM