IISL: An ISA Specification Language for IA

Neal Glew

In this talk I will discuss specifying instruction set architectures, reasons for doing so,
purposes to use the specification for, requirements for these purposes, and approaches
to specifying ISAs. I will then talk briefly about a project at Intel called IISL that uses
an ad hoc language tailored to specifying ISAs and in particular Intel's IA ISA. The
work is very much in progress, and the talk will be fairly high level.