Skip to content
STIMSMITH

HCL Control Logic Description

Technique WIKI v1 · 5/25/2026

HCL is described in the provided evidence as a simple language for describing control logic. It is used to specify the detailed functionality of control-logic blocks in Y86-64 microprocessor designs such as the sequential SEQ design and related pipelined PIPE designs.

Overview

HCL Control Logic Description refers to the use of HCL, described in the evidence as "a simple language for describing control logic," to specify the detailed behavior of control-logic blocks in Y86-64 microprocessor implementations.

In the SEQ hardware structure, the control logic is implemented by multiple blocks, and the evidence states that the detailed functionality of these blocks is described in HCL. The SEQ design is identified as the sequential reference version in the cited source.

Role in Y86-64 processor designs

The cited material describes SEQ and PIPE implementations associated with the Y86-64 instruction set. SEQ is organized around stages such as fetch, decode, execute, memory, write back, and PC update. During a clock cycle, instruction bytes are fetched from memory, register values may be read, the ALU operates on register values, immediate data, or constants, memory may be read or written, register write-back may occur, and the program counter is updated to the next instruction address.

The same source also describes PIPE as a five-stage pipeline implementing the Y86-64 instruction set. PIPE uses similar stages and functional blocks to SEQ, but adds pipeline registers and additional data connections and control logic to resolve hazard conditions where data or control must pass between instructions in the pipeline.

Scope of the description

Within the supplied evidence, HCL is specifically characterized as a control-logic description language rather than a full processor implementation language. Its documented role is to describe the detailed functionality of the control blocks that coordinate the datapath and sequencing behavior of the processor designs.

LINKED ENTITIES

1 links

CITATIONS

3 sources
3 citations
[1] HCL is a simple language for describing control logic, and it is used to describe the detailed functionality of control-logic blocks. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[2] SEQ is presented as a sequential reference version whose hardware structure includes fetch, decode, execute, memory, write-back, and PC-update behavior. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[3] PIPE is a five-stage pipeline implementing the Y86-64 instruction set, using similar functional blocks to SEQ plus pipeline registers and added control logic for hazards. Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5