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]
  • Automating constraint-aware datapath optimization using E-graphs [coward:arxiv:2023]
  • 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]