x86-64
ISAx86-64 is the informal name for the Intel64 instruction set architecture. The provided evidence identifies it as an ISA with 16 program registers and notes several features adapted by the simplified educational Y86-64 ISA.
First seen 5/25/2026
Last seen 5/25/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
x86-64 is identified in the evidence as the informal name for the Intel64 instruction set architecture. The Y86-64 instruction set architecture is described as adapting many features of Intel64, while being much simpler and intended as a working model for understanding microprocessor design and implementation rather than as a full processor implementation.
Architectural characteristics noted in the evidence
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →LINKED ENTITIES
1 linksCITATIONS
5 sources5 citations — click to expand
[1] Intel64 is known informally as x86-64. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[2] The x86-64 ISA has 16 program registers. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[3] Y86-64 adapts many features of Intel64/x86-64 but is much simpler and is intended as a working model for microprocessor design and implementation rather than a full processor implementation. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[4] The x86-64 data movement instruction movq is split in Y86-64 into register-register, immediate-register, register-memory, and memory-register forms. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[5] As with x86-64, stack pushing decrements the stack pointer by eight before writing a word, and popping reads the top word before incrementing the stack pointer by eight. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5