Because of poor tools, developing embedded systems can be unnecessarily hard. Machine descriptions based on register-transfer lists (RTLs) have proven useful in building retargetable compilers, but not in building other retargetable tools. Simulators, assemblers, linkers, debug-gers, and proolers are built by hand if at all|previous machine descriptions have lacked the detail and precision need...