Симулятор набору команд

Симулятор набору команд (СНК) є симуляційною моделлю, як правило, написана на мові програмування високого рівня, яка імітує поведінку комп'ютера або мікропроцесора через «читання» команд та підтримку внутрішніх змінних, які відповідають регістрам процесора.

Симуляція команд є методологією, яка може використовуватись з декількох причин:

• Для імітації машинних кодів іншого пристрою або всього комп'ютера, для перевірки сумісності знизу-вгору — зазвичай симулятор всієї системи включає в себе симулятор набору команд.

Наприклад, IBM 1401 моделювалася на пізніших версіях IBM/360 за допомогою емуляції мікрокода.

• Для моніторингу та виконання команд машинного коду (які опрацьовуються як вхідний потік) на тому ж обладнанні з метою випробування і зневадження, наприклад, із захистом пам'яті (який захищає від випадкового або навмисного переповнення буфера).
• Для підвищення швидкодії порівняно з більш повільною циклічною (англ. cycle-accurate) симуляцією, яка використовує процесорне ядро, тому сам процесор не перевіряється. У мові опису апаратури розробці використовується Verilog, де моделювання відбувається за допомогою інструментів подібних до СНК, і вони можуть працювати швидше за допомогою Program Language Interface (не плутайте з мовою програмування PL/I).