Child-ILA (Child Instructions)

Concept

In the Instruction-Level Abstraction (ILA) framework, a Child-ILA is a hierarchical sub-model that decomposes a complex parent instruction into a sequence of child-instructions (analogous to micro-instructions in processor design), enabling modular modeling and step-by-step execution of intricate operations such as cryptographic acceleration.

First seen 6/6/2026

Last seen 6/6/2026

Evidence 2 chunks

Wiki v1

WIKI

Child-ILA (Child Instructions)

Overview

Within the Instruction-Level Abstraction (ILA) formalism, a Child-ILA is a hierarchical sub-model used to represent the internal steps of a complex instruction defined in a parent ILA. The ILA framework allows for hierarchy, and child-instructions defined in a Child-ILA play a role analogous to micro-instructions for complex processor instructions. By decomposing one macro-level instruction into several child-instructions, a Child-ILA enables the model to capture multi-step operations—such as loading, transforming, and storing data—in a structured, modular way.

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections

Instruction-Level Abstraction (ILA) part of → 95% 1e

ILA supports child-ILAs for complex instructions

AES ILA Model part of → 95% 1e

AES ILA model uses child-ILAs for the start_encrypt instruction

LINKED ENTITIES

2 links

Instruction-Level Abstraction (ILA) PART_OF Extracted graph relationship

AES ILA Model PART_OF Extracted graph relationship

CITATIONS

5 sources

5 citations — click to expand

[1] The ILA allows for hierarchy to model complex instructions using child-instructions defined in a child-ILA, analogous to micro-instructions for complex processor instructions. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

[2] In the AES ILA, the START_ENCRYPT instruction is described using child-instructions for loading, encrypting, and storing the data. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

[3] A Child-ILA has its own child variables S^c, child decode functions D^c, and child next-state functions N^c(S, S^c) that depend on both the parent state S and the child state S^c. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

[4] In the ILA kernel template, child-ILAs are executed in a do-while loop that repeatedly fires the matching child next-state functions until no child-instruction is executable. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models

[5] An ILA model is formally defined as a five-element tuple ⟨S, W, S0, D, N⟩, with the set of instructions I defined by decode functions D and next-state functions N. Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models