From a Machine Model to Hardware

Planned Coverage

Account for instruction models, emitted code, execution platforms, and hardware assumptions.

Examples, definitions, and exercises will be developed here as the course progresses. See the course table of contents for the suggested reading order.