Intel

[Google Scholar]

Notes: x86 architecture, Itanium architecture
Papers:

Itanium architecture, x86 architecture, XED x86 encoding/decoding library

  • Specification of Intel IA-32 Using an Architecture Description Language [bastian:adl:2005]
  • The fallacy of spec-based design [bhatt:sefm:2003]
  • Zsim: A Fast Architectural Simulator for ISA Design-Space Exploration [lifshitz:wish:2011]
  • ZSim: Fast and Accurate Microarchitectural Simulation of Thousand-Core Systems [sanchez:isca:2013]