Expand description
Semantic validation for instruction definitions.
Validates a parsed definition for:
- Name uniqueness
- Type resolution
- Bit coverage completeness
- Pattern conflicts between instructions
Functionsยง
- validate
- Validate a decoder definition and convert to a validated IR.