linx-model

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

▸ 精选理由

帮助保持模型行为与硬件语义一致，利于回归测试。

这个 Skill 做什么

用于周期精确 C++ 模型的编码规范、队列与模块语义审查。

针对 tools/model 下的周期精确 C++ 模型提供编码与审查标准，聚焦 SimQueue 负载格式、Module 的工作语义、端口角色标注和队列布线断言。在你新增或复审与队列连线相关的模型代码时使用，能保证模型行为可推理、接口一致并符合性能假设。特别强调的点有端口/角色标记和队列断言，能早期发现连线或语义错误。

▸ 展开 SKILL.md 英文原文

Cycle-accurate C++ model workflow for `tools/model`, including `SimQueue` payload policy, `Module` work semantics, port-role tagging, and queue wiring assertions. Use when adding or reviewing queue-wired model code.

开发编程模型周期精确仿真通用

Stars

Forks

仓库内 Skill

7 日增星

安装 / 使用

给你的 Agent 一句话（通用）

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

或 curl 直取 SKILL.md

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

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

# Linx Model

Canonical repo location (superproject checkout):

- `tools/model`

AI workload final-target lane:

- The AI workload hard-break flow uses the C++ BlockISA model at
  `model/LinxCoreModel` as the final execution target.
- Canonical command:

```bash
python3 /Users/zhoubot/linx-isa/tools/bringup/run_ai_workload_flow.py --profile smoke --dry-run
/Users/zhoubot/linx-isa/model/LinxCoreModel/bin/gfsim -f <linx.elf>
```

- The smoke profile includes `avs-pto-parity-smoke`, a bounded PTO parity case
  built with `-DPTO_PARITY_TLOAD_STORE_ONLY=1`. Treat it as the fast
  QEMU-to-model PTO parity handoff proof, not as full parity closure.
- The full smoke-sized AVS PTO parity sequence is

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