pto-spec/specification.toml at main · PTO-ISA/pto-spec · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
[specification]
name = "PTO Instruction Set Architecture"
short_name = "PTO ISA"
language = "ASL1"
status = "draft"
normative = true
source_roots = ["asl/arch", "asl/block", "asl/scalar", "asl/tile"]
formal_model_issue = "https://github.com/PTO-ISA/pto-spec/issues/4"

[release]
architecture_version = "0.58.6"
publication_version = "0.58.6.0"
encoding_abi = "pto-isa-0.58.6-mode-function-v1"
manifest = "spec/release-manifest.json"
formal_model_issue = "https://github.com/PTO-ISA/pto-spec/issues/18"

[profile]
id = "pto-v0"
implementations = [
  "asl/arch/profile/applicability.asl",
  "asl/arch/profile/reference-profile.asl",
  "asl/arch/profile/reset.asl",
]
conformance_test_root = "tests/asl"
numeric_model = "deterministic-raw-carrier-reference"
memory_model = "identity-translation-with-acr2-protected-region"
reset_model = "explicit-reference-reset"
access_control_model = "acr0-to-acr15"
time_model = "one-tick-per-decoded-attempt"

[architecture]
profile = "pto-v0"
xlen = 64
scalar_forms = 466
command_forms = 96
system_register_definitions = 72
trap_numbers = 13
tile_model = "one-level"
tile_registers = 64
pto_operations = 117
hierarchical_calls = false

[memory_order]
id = "PTO-TSO"
models = [
  "asl/arch/memory-model/address-space.asl",
  "asl/arch/memory-model/atomicity.asl",
  "asl/arch/memory-model/fault-precision.asl",
  "asl/arch/memory-model/memory-events.asl",
  "asl/arch/memory-model/ordering.asl",
]
comparison_source = "https://github.com/herd/herdtools7/blob/0b6e09066d4186c8a26e02e3bb884bd664d5eb34/herd/libdir/x86tso.cat"
event_bound = 16
agent_bound = 4
mixed_size = "fail-closed"

[maturity]
current_level = "M4-reference-semantics-closed"
scalar_state = "implemented-reference-envelope-stage-M2-closed"
scalar_semantics = "reference-totality-stage-M4-closed"
system_state = "catalog-and-ebarg-visible-stage-M2-closed"
tile_state = "implemented-descriptors-stage-M2-closed"
tile_semantics = "reference-totality-stage-M4-closed"
binary_decode = "mechanically-closed"
instruction_dispatch = "bundle-status-and-all-scalar-effects-closed-stage-M1-closed"
memory_order = "production-connected-candidate-graph-stage-M3-closed"
numeric_contracts = "inventory-owned-stage-S5-T1-closed-target-conformance-stage-S5-T2-open"
numeric_profile_decisions = "identity-framework-flag-lifecycle-rounding-selector-format-namespace-public-type-baseline-public-integer-conversion-a2a3-mx-negative-applicability-and-variation-ownership-closed-stage-S5-T2-A-results-open"
source_reconciliation = "exhaustive-comparison-matrix-and-clean-gates-stage-S5-T3-closed"
release_traceability = "inventory-and-links-closed-stage-S6-T1-promotion-open"
release_gate_readiness = "gate-contract-and-parallel-topology-closed-stage-S6-T2-promotion-open"
architectural_completion = "open"

[toolchain]
aslref_repository = "https://github.com/PTO-ISA/herdtools7.git"
aslref_pin_file = ".aslref-version"