seal5.model

TODO

Classes

Seal5Alias()

Seal5CSROperand(name, ty, attributes, ...)

Seal5Constraint(stmts[, description])

Seal5DataType(value)

An enumeration.

Seal5FPROperand(name, ty, attributes, ...)

Seal5FunctionAttribute(value)

An enumeration.

Seal5GPROperand(name, ty, attributes, ...)

Seal5ImmOperand(name, ty, attributes, ...)

Seal5InstrAttribute(value)

An enumeration.

Seal5Instruction(name, attributes, encoding, ...)

Seal5InstructionSet(name, extension, ...)

TODO.

Seal5Intrinsic()

Seal5Operand(name, ty, attributes, constraints)

Seal5OperandAttribute(value)

An enumeration.

Seal5RegOperand(name, ty, attributes, ...[, ...])

Seal5Register(name, size, width, signed, ...)

Seal5RegisterClass(value)

An enumeration.

Seal5RegisterGroup(names, size, width, ...)

Seal5Type(datatype, width, lanes)