camodel-isa-verification

Verify PTO-ISA instruction behavior and output correctness via CA model simulator tests and log analysis.

30|74|Updated Jan 29, 2026
One-click install
npx skills add https://github.com/hw-native-sys/PTOAS --skill camodel-isa-verification
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: camodel-isa-verification
Source: https://github.com/hw-native-sys/PTOAS/tree/main/.codex/skills/camodel-isa-verification
Command: npx skills add https://github.com/hw-native-sys/PTOAS --skill camodel-isa-verification

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill helps engineers verify PTO-ISA instruction behavior and diagnose correctness or performance issues using the CANN cycle-accurate CA model simulator.

Core Features & Use Cases

  • ST Test Workflow: Create or select focused PTO-ISA operation tests and run them against the A5 CA model.
  • Instruction Analysis: Inspect simulator instruction logs to identify instruction encoding, pipeline placement, dependent instruction latency, and execution behavior.
  • Output Verification: Analyze UB read and write dumps, decode hexadecimal values, and compare simulator results with expected data.
  • Use Case: When validating a vector load, arithmetic, gather, or conversion instruction, use this Skill to run a focused test, measure dependency latency, and confirm the resulting UB contents.

Quick Start

Use the camodel-isa-verification skill to run the relevant PTO-ISA ST test on the A5 CA model and analyze its instruction and UB dump logs for correctness and latency.

Frequently Asked Questions about camodel-isa-verification

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify PTO-ISA instruction behavior using the A5 CA model simulator?

To verify PTO-ISA instruction behavior, run focused ST tests against the A5 CA model simulator and analyze its instruction logs for correctness and execution latency. This workflow automates test execution and simulator trace inspection.

Can I measure instruction latency and pipeline placement for PTO-ISA operations?

Yes, you can measure instruction latency and pipeline placement by inspecting simulator instruction logs. This workflow helps identify instruction encoding and dependent instruction latency within the CANN cycle-accurate CA model environment.

How do I validate UB dump contents for vector load and arithmetic instructions?

You validate UB dump contents by analyzing read and write dumps from the simulator, decoding hexadecimal values, and comparing them with expected data. This confirms the output correctness of vector load and arithmetic operations.

What is needed to run PTO-ISA ST tests and analyze simulator logs?

Running PTO-ISA ST tests requires an initialized CANN environment, PTO-ISA test sources, and access to the CA model simulator logs. These prerequisites ensure the cycle-accurate simulator can execute and generate valid traces.