linx-isa

仓库创建 2026年2月7日最近提交 23 天前SkillHot 收录 22 天前

▸ 精选理由

适合在软硬协同带上保持 ISA 语义一致。

这个 Skill 做什么

用于 ISA 规范、手册语义与架构约束的定义与审查。

用于定义和审查 ISA 级别的架构与规范，把 ISA 意图翻译成 compiler、emulator、RTL 的需求与测试。需要确定 ISA 合约、手册语义、特权/CSR/内存规则或把控制流约束映射到下游实现时用。特点是强调机器可检验的语义和不变式，保证软硬件在语义层面保持一致。

▸ 展开 SKILL.md 英文原文

Linx ISA architecture and specification workflow. Use when defining ISA contracts, editing manual semantics, reviewing privilege/CSR/memory rules, or translating ISA intent into compiler/emulator/RTL requirements and tests.

开发编程ISA架构规范通用

Stars

Forks

仓库内 Skill

7 日增星

安装 / 使用

给你的 Agent 一句话（通用）

帮我安装这个 skill：https://raw.githubusercontent.com/LinxISA/linx-skills/main/linx-isa/SKILL.md

或 curl 直取 SKILL.md

curl -fsSL "https://raw.githubusercontent.com/LinxISA/linx-skills/main/linx-isa/SKILL.md"

SKILL.MD 节选查看完整文件 ↗

# Linx ISA

## Overview

Use this skill for ISA-level decisions and spec-quality updates that must stay consistent across software and hardware bring-up.

## Responsibilities

- Architecture intent and constraints.
- ISA manual clarity and machine-checkable semantics.
- Contract mapping into downstream requirements.

## Non-negotiable invariants

- Block-structured control-flow contract is explicit.
- Safety rule on control-flow targets is enforced.
- Template and decoupled block semantics are unambiguous.
- Trap/privilege and memory-model behavior is precise.
- `EBREAK` default behavior is architectural breakpoint trap; semihost handling
  is opt-in (`LINX_SEMIHOST=1`) and must not be impli

via SKILL·HOT · 数据来自 GitHub 公开信息 · 原文版权归作者所有