Requirement coverage¶
Generated by cargo xtask coverage. A requirement is covered when a source or test file cites it.
Citation convention: a citation is a full ID (SYNTH-REQ-1050), optionally followed by further
numbers of the same prefix separated by ,, /, and or or. A range after a cited number
(1050 to 1054, 0400-0419, also with –, … or ...) cites every ID from its first to its last number
within the same prefix; IDs in the range that no specification defines are ignored. A dash marks
a range only when the last number follows it directly (9370 - 9372 is no range). A range of
more than 200 IDs is not expanded: only its first number counts as cited.
| Requirement | Specification | Cited by |
|---|---|---|
| AIGER-REQ-0001 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0002 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0010 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0011 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0012 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0013 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0020 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0021 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0022 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0023 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0024 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs crates/verify/rustsys-check/src/aiger.rs |
| AIGER-REQ-0030 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0031 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| AIGER-REQ-0032 | docs/specs/aiger/README.md | @common/crates/formats/rusteda-formats/src/aiger/mod.rs @common/crates/formats/rusteda-formats/src/aiger/read.rs @common/crates/formats/rusteda-formats/tests/aiger_reader.rs |
| BLIF-REQ-0001 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0002 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0003 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0010 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/lex.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0011 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0020 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0021 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0022 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0023 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0030 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/engines/rustsys/src/ingest/blif.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0031 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0032 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0033 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0034 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/engines/rustsys/src/ingest/blif.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0040 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0041 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0042 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0050 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0051 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0052 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/src/blif/parse.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0060 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/flatten.rs @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs crates/verify/rustsys-check/src/blif.rs |
| BLIF-REQ-0061 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| BLIF-REQ-0062 | docs/specs/blif/README.md | @common/crates/formats/rusteda-formats/src/blif/mod.rs @common/crates/formats/rusteda-formats/tests/blif_reader.rs |
| CHECK-REQ-0001 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/args.rs crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/tests/check_status.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/rtl/mod.rs |
| CHECK-REQ-0002 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/tests/check_status.rs crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/rtl/always.rs crates/verify/rustsys-check/src/rtl/mod.rs crates/verify/rustsys-check/tests/undecided.rs |
| CHECK-REQ-0010 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/circ.rs crates/verify/rustsys-check/src/rtl/mod.rs |
| CHECK-REQ-0011 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/rtl/mod.rs |
| CHECK-REQ-0012 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/case_assumptions_random.rs crates/apps/rustsys-cli/tests/synth_frontend.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/rtl/mod.rs crates/verify/rustsys-check/src/rtl/proc.rs crates/verify/rustsys-check/tests/rtl_patterns.rs |
| CHECK-REQ-0013 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/case_assumptions_random.rs crates/apps/rustsys-cli/tests/synth_frontend.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/rtl/mod.rs crates/verify/rustsys-check/src/rtl/proc.rs crates/verify/rustsys-check/tests/rtl_patterns.rs |
| CHECK-REQ-0014 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/codes.rs crates/verify/rustsys-check/src/rtl/proc.rs crates/verify/rustsys-check/tests/rtl_rejected.rs |
| CHECK-REQ-0020 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/check_netlists.rs crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/circ.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/netlist/cells.rs crates/verify/rustsys-check/src/netlist/source.rs crates/verify/rustsys-check/tests/unmodeled.rs |
| CHECK-REQ-0021 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt/export.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/netlist/cells.rs crates/verify/rustsys-check/tests/observations.rs |
| CHECK-REQ-0022 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/job.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/liberty.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/netlist/connections.rs crates/verify/rustsys-check/tests/correspondence.rs crates/verify/rustsys-check/tests/unmodeled.rs |
| CHECK-REQ-0023 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/tests/check_status.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/liberty.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/netlist/cells.rs crates/verify/rustsys-check/src/netlist/source.rs crates/verify/rustsys-check/tests/unmodeled.rs |
| CHECK-REQ-0030 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/tests/correspondence.rs |
| CHECK-REQ-0031 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/corr.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/tests/correspondence.rs crates/verify/rustsys-check/tests/frozen.rs crates/verify/rustsys-check/tests/ordinal_names.rs |
| CHECK-REQ-0032 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/corr.rs crates/verify/rustsys-check/src/discover.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/tests/correspondence.rs crates/verify/rustsys-check/tests/discovery_support.rs crates/verify/rustsys-check/tests/undecided.rs |
| CHECK-REQ-0040 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/check_obligations.rs crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/discover.rs |
| CHECK-REQ-0041 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/check_obligations.rs crates/verify/rustsys-check/src/attempt.rs |
| CHECK-REQ-0042 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/prove.rs crates/verify/rustsys-check/src/sat.rs |
| CHECK-REQ-0043 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/discover.rs crates/verify/rustsys-check/src/discover/tests.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/prove.rs |
| CHECK-REQ-0044 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/lib.rs |
| CHECK-REQ-0045 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/check_seqsim.rs crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/seqsim.rs |
| CHECK-REQ-0046 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/sweep.rs |
| CHECK-REQ-0047 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/rtl/word.rs crates/verify/rustsys-check/tests/rtl_arith.rs |
| CHECK-REQ-0048 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/corr.rs crates/verify/rustsys-check/tests/correspondence.rs |
| CHECK-REQ-0049 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/corr.rs crates/verify/rustsys-check/tests/correspondence.rs |
| CHECK-REQ-0050 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/check_status.rs crates/verify/rustsys-check/src/corr.rs crates/verify/rustsys-check/src/discover.rs |
| CHECK-REQ-0051 | docs/specs/check/synth.md | crates/verify/rustsys-check/tests/unreset_sharing.rs |
| CHECK-REQ-0060 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/lib.rs |
| CHECK-REQ-0070 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/defects.rs crates/verify/rustsys-check/tests/correspondence.rs crates/verify/rustsys-defects/src/lib.rs |
| CHECK-REQ-0080 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/lib.rs |
| CHECK-REQ-0081 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/text.rs crates/apps/rustsys-cli/tests/check_status.rs crates/verify/rustsys-check/src/lib.rs |
| CHECK-REQ-0082 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/cli_contract.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/netlist/cells.rs |
| CHECK-REQ-0085 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/load.rs crates/verify/rustsys-check/src/lib.rs |
| CHECK-REQ-0100 | docs/specs/check/synth.md | crates/apps/rustsys-cli/src/proto/codes.rs crates/apps/rustsys-cli/tests/netlist_sources.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0101 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/verify/rustsys-check/src/blif.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0102 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0103 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/verify/rustsys-check/src/gateref.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0104 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/blif.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0105 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/verify/rustsys-check/src/lib.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0106 | docs/specs/check/synth.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CHECK-REQ-0107 | docs/specs/check/synth.md | crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/blif.rs crates/verify/rustsys-check/src/sources.rs crates/verify/rustsys-check/tests/sources.rs |
| CLI-REQ-0001 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/args.rs |
| CLI-REQ-0002 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/out.rs crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0003 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/args.rs crates/apps/rustsys-cli/src/proto/load.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0004 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/out.rs crates/apps/rustsys-cli/src/proto/codes.rs crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/mod.rs crates/apps/rustsys-cli/src/proto/tests/messages.rs crates/apps/rustsys-cli/tests/check_status.rs crates/engines/rustsys/src/diagnostics.rs |
| CLI-REQ-0005 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/src/proto/job.rs |
| CLI-REQ-0006 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/proto/codes.rs |
| CLI-REQ-0007 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/out.rs |
| CLI-REQ-0008 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/out.rs crates/apps/rustsys-cli/src/proto/progress.rs |
| CLI-REQ-0009 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/src/proto/mod.rs crates/apps/rustsys-cli/tests/check_status.rs |
| CLI-REQ-0010 | docs/specs/cli/README.md | crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0011 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/out.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0012 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/src/proto/exec.rs |
| CLI-REQ-0100 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/src/show.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0101 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/show.rs crates/apps/rustsys-cli/tests/check_status.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0102 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/proto/table.rs crates/apps/rustsys-cli/src/show.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0150 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| CLI-REQ-0200 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/tests/workspace_cli.rs |
| CLI-REQ-0201 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/src/ws/synth.rs crates/apps/rustsys-cli/tests/workspace_cli.rs |
| CLI-REQ-0202 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/check.rs crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/tests/workspace_cli.rs |
| CLI-REQ-0203 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/src/ws/report.rs crates/apps/rustsys-cli/tests/workspace_cli.rs |
| CLI-REQ-0204 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/src/ws/opt.rs crates/apps/rustsys-cli/tests/workspace_cli.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0205 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/tests/workspace_cli.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0206 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt.rs crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/src/ws/targets.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0207 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/src/ws/targets.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0208 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0209 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/constraints.rs crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0210 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0211 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0212 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt.rs crates/apps/rustsys-cli/src/ws/request.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0213 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/opt.rs crates/apps/rustsys-cli/src/ws/opt_timing.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| CLI-REQ-0220 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/tests/netlist_sources.rs |
| CLI-REQ-0221 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/tests/netlist_sources.rs |
| CLI-REQ-0222 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/args.rs crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/tests/netlist_sources.rs |
| CLI-REQ-0223 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/proto/argv.rs crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/tests/netlist_sources.rs |
| CLI-REQ-0224 | docs/specs/cli/README.md | crates/apps/rustsys-cli/src/ws/check.rs crates/apps/rustsys-cli/src/ws/synth.rs crates/apps/rustsys-cli/tests/netlist_sources.rs |
| COMPUTE-REQ-0001 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cuda.rs @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0002 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cuda.rs @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0003 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs crates/engines/rustsys/src/lib.rs |
| COMPUTE-REQ-0004 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cuda.rs @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs |
| COMPUTE-REQ-0005 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0010 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs |
| COMPUTE-REQ-0011 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0012 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0013 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0014 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/lut.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0015 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/abi.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/state.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0016 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/state.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs |
| COMPUTE-REQ-0017 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs |
| COMPUTE-REQ-0018 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/known.rs @common/crates/core/rusteda-compute/src/timing/tests/naive.rs |
| COMPUTE-REQ-0019 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0020 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/lut.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/checks.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/validate.rs |
| COMPUTE-REQ-0021 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0022 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0023 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/state.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0024 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0025 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0026 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs |
| COMPUTE-REQ-0027 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cpu.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/cpu.rs |
| COMPUTE-REQ-0028 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0029 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/lib.rs @common/crates/core/rusteda-compute/src/timing/cuda.rs @common/crates/core/rusteda-compute/src/timing/mod.rs @common/crates/core/rusteda-compute/src/timing/tests/gpu.rs |
| COMPUTE-REQ-0030 | docs/specs/compute/timing.md | @common/crates/core/rusteda-compute/src/timing/tests/prepared.rs |
| COMPUTE-REQ-0101 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs @common/crates/core/rusteda-compute/src/lib.rs |
| COMPUTE-REQ-0102 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/cut/mod.rs |
| COMPUTE-REQ-0103 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/pack.rs |
| COMPUTE-REQ-0104 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs |
| COMPUTE-REQ-0105 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/cpu.rs @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs |
| COMPUTE-REQ-0106 | docs/specs/compute/README.md | @common/crates/core/rusteda-compute/src/cut/cuda.rs @common/crates/core/rusteda-compute/src/cut/mod.rs @common/crates/core/rusteda-compute/src/cut/tests.rs @common/crates/core/rusteda-compute/src/lib.rs |
| CORE-REQ-0100 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/symbol.rs |
| CORE-REQ-0101 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/arena.rs @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0102 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/arena.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs |
| CORE-REQ-0103 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/arena.rs |
| CORE-REQ-0110 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs |
| CORE-REQ-0111 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs |
| CORE-REQ-0112 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs |
| CORE-REQ-0113 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/names.rs |
| CORE-REQ-0120 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0121 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs |
| CORE-REQ-0122 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs |
| CORE-REQ-0123 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/error.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_random.rs @common/crates/core/rusteda-workspace/src/edits.rs |
| CORE-REQ-0124 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0125 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0126 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0127 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0128 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist.rs @common/crates/core/rusteda-core/src/netlist/tests.rs |
| CORE-REQ-0130 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0131 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0132 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0133 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0134 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0135 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs |
| CORE-REQ-0136 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| CORE-REQ-0137 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs @common/crates/core/rusteda-core/src/netlist/validate.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| CORE-REQ-0138 | docs/specs/core/netlist.md | @common/crates/core/rusteda-core/src/netlist/frozen.rs @common/crates/core/rusteda-core/src/netlist/tests_frozen.rs |
| JOB-REQ-0001 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0002 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0003 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0004 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs |
| JOB-REQ-0005 | docs/specs/core/README.md | crates/engines/rustsys/tests/job_hooks.rs crates/verify/rustsys-check/src/sweep.rs |
| JOB-REQ-0006 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/job.rs crates/engines/rustsys/tests/job_hooks.rs crates/verify/rustsys-check/src/attempt.rs crates/verify/rustsys-check/src/discover.rs |
| JOB-REQ-0007 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/diag.rs @common/crates/core/rusteda-workspace/src/text.rs crates/apps/rustsys-cli/src/proto/message.rs crates/apps/rustsys-cli/src/proto/tests/messages.rs |
| LIBERTY-REQ-0001 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0002 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0003 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0004 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/syntax.rs |
| LIBERTY-REQ-0005 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/units.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0006 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/units.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0007 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0010 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0011 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0012 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0013 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0014 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0015 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0016 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0017 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/core/rusteda-core/src/liberty/units.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/units.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0018 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0019 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0020 | docs/specs/liberty/liberty.md | @common/crates/core/rusteda-core/src/liberty/func.rs @common/crates/formats/rusteda-formats/src/liberty/func.rs crates/verify/rustsys-check/src/lfunc.rs |
| LIBERTY-REQ-0021 | docs/specs/liberty/liberty.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/func.rs |
| LIBERTY-REQ-0022 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/func.rs @common/crates/formats/rusteda-formats/src/liberty/func.rs crates/engines/rustsys/src/map/library.rs |
| LIBERTY-REQ-0023 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0024 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs |
| LIBERTY-REQ-0025 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0026 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0030 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs |
| LIBERTY-REQ-0031 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/tables.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0032 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/src/liberty/tables.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0033 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0034 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/table.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0040 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0041 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0042 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0043 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0044 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/bus.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0045 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0046 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0047 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/wire_load.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0048 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/kinds.rs @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/wire_load.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0049 | docs/specs/core/README.md | @common/crates/core/rusteda-core/src/liberty/model.rs @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_cells_and_pins.rs |
| LIBERTY-REQ-0050 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0051 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0052 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/diags.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0053 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/diags.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0054 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0055 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0056 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/classify.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0057 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/diags.rs @common/crates/formats/rusteda-formats/src/liberty/tables.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0058 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| LIBERTY-REQ-0059 | docs/specs/liberty/liberty.md | @common/crates/formats/rusteda-formats/src/liberty/build.rs @common/crates/formats/rusteda-formats/src/liberty/bus.rs @common/crates/formats/rusteda-formats/tests/liberty_extensions_and_diags.rs |
| PROTO-REQ-0001 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/job.rs |
| PROTO-REQ-0002 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/mod.rs crates/apps/rustsys-cli/src/proto/tests/messages.rs crates/engines/rustsys/src/view.rs |
| PROTO-REQ-0010 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/options.rs |
| PROTO-REQ-0020 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/argv.rs crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/tests/check_status.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| PROTO-REQ-0021 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/argv.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| PROTO-REQ-0030 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/src/proto/tests/exec.rs |
| PROTO-REQ-0031 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/mod.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/src/proto/tests/exec.rs |
| PROTO-REQ-0032 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/src/proto/tests/exec.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| PROTO-REQ-0033 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/runners.rs crates/apps/rustsys-cli/src/proto/tests/exec.rs crates/apps/rustsys-cli/src/proto/write.rs |
| PROTO-REQ-0050 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/args.rs crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/record.rs |
| PROTO-REQ-0051 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/record.rs |
| PROTO-REQ-0052 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/mod.rs crates/apps/rustsys-cli/src/proto/record.rs |
| PROTO-REQ-0053 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/message.rs crates/apps/rustsys-cli/src/proto/record.rs crates/apps/rustsys-cli/src/proto/tests/exec.rs crates/apps/rustsys-cli/src/proto/tests/messages.rs |
| PROTO-REQ-0060 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/record.rs |
| PROTO-REQ-0061 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/exec.rs crates/apps/rustsys-cli/src/proto/record.rs crates/apps/rustsys-cli/tests/cli_contract.rs |
| PROTO-REQ-0062 | docs/specs/cli/protocol.md | crates/apps/rustsys-cli/src/proto/load.rs |
| PROTO-REQ-0100 | docs/specs/cli/tables.md | crates/apps/rustsys-cli/src/proto/format.rs crates/apps/rustsys-cli/src/proto/table.rs |
| PROTO-REQ-0110 | docs/specs/cli/tables.md | crates/apps/rustsys-cli/src/proto/fields.rs |
| PROTO-REQ-0120 | docs/specs/cli/tables.md | crates/apps/rustsys-cli/src/proto/text.rs |
| PROTO-REQ-0130 | docs/specs/cli/tables.md | crates/apps/rustsys-cli/src/proto/table.rs crates/apps/rustsys-cli/src/proto/table/checks.rs crates/apps/rustsys-cli/src/proto/table/synthesis.rs |
| PROTO-REQ-0131 | docs/specs/cli/tables.md | crates/apps/rustsys-cli/src/proto/filter.rs |
| PROTO-REQ-0132 | docs/specs/cli/tables.md | crates/apps/rustsys-cli/src/proto/order.rs |
| RCLI-REQ-0001 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/export.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0002 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0003 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0004 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0005 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0006 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0007 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| RCLI-REQ-0008 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/export.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| RCLI-REQ-0010 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/init.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0011 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_netlist.rs @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/import_netlist.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/import_netlist.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| RCLI-REQ-0012 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_lib.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0013 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_lib.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0014 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_rtl.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0015 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0016 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/apps/rusteda-cli/tests/export_netlist.rs crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/export_netlist.rs |
| RCLI-REQ-0017 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0018 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/src/revert.rs @common/crates/apps/rusteda-cli/tests/cli_contract.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| RCLI-REQ-0019 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import_netlist.rs @common/crates/apps/rusteda-cli/src/import_netlist/fast.rs @common/crates/apps/rusteda-cli/tests/import_netlist.rs crates/apps/rusteda-cli/tests/import_netlist.rs |
| RCLI-REQ-0020 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/export.rs @common/crates/apps/rusteda-cli/tests/export_netlist.rs crates/apps/rusteda-cli/tests/export_netlist.rs |
| RCLI-REQ-0021 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import_logic.rs @common/crates/apps/rusteda-cli/src/import_rtl.rs @common/crates/apps/rusteda-cli/tests/import_logic.rs crates/apps/rusteda-cli/tests/import_logic.rs |
| RCLI-REQ-0022 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import_logic.rs @common/crates/apps/rusteda-cli/src/import_rtl.rs @common/crates/apps/rusteda-cli/tests/import_logic.rs crates/apps/rusteda-cli/tests/import_logic.rs crates/apps/rustsys-cli/src/ws/mod.rs crates/apps/rustsys-cli/tests/netlist_sources.rs |
| RCLI-REQ-0023 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/query.rs @common/crates/apps/rusteda-cli/tests/show_drv.rs crates/apps/rusteda-cli/tests/show_drv.rs |
| RCLI-REQ-0024 | docs/specs/rusteda-cli/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_netlist.rs @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/apps/rusteda-cli/tests/import_netlist.rs crates/apps/rusteda-cli/tests/import_netlist.rs |
| RCLI-REQ-0070 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/rusteda-cli/tests/import_spef.rs |
| RCLI-REQ-0071 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/tests.rs |
| RCLI-REQ-0072 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/tests.rs |
| RCLI-REQ-0073 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/source.rs crates/apps/rusteda-cli/tests/import_spef.rs |
| RCLI-REQ-0074 | docs/specs/rusteda-cli/spef.md | @common/crates/formats/rusteda-formats/src/spef/tests.rs |
| RCLI-REQ-0075 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/import_spef.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs @common/crates/formats/rusteda-formats/src/spef/mod.rs crates/apps/rusteda-cli/tests/import_spef.rs |
| RCLI-REQ-0076 | docs/specs/rusteda-cli/spef.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/tests/import_spef.rs crates/apps/rusteda-cli/tests/import_spef.rs |
| SDC-REQ-0001 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_fuzz.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0002 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0003 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/write.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0004 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs |
| SDC-REQ-0005 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/obj.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0006 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/filter.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0007 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/eval/builtins.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0008 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0009 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0010 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/expr.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0011 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/expr.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0012 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0013 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0014 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0015 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/eval.rs @common/crates/formats/rusteda-formats/src/sdc/eval/builtins.rs @common/crates/formats/rusteda-formats/tests/sdc_fuzz.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0016 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/build.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0017 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0018 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0019 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0020 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0021 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0022 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0023 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/build.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0024 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0025 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0026 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0027 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0028 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0029 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0030 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0031 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0032 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0033 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0034 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0035 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0036 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0037 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0038 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0039 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/cmd.rs @common/crates/formats/rusteda-formats/src/sdc/schema.rs @common/crates/formats/rusteda-formats/src/sdc/schema/build.rs @common/crates/formats/rusteda-formats/src/sdc/schema/parse.rs @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SDC-REQ-0040 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs @common/crates/formats/rusteda-formats/tests/sdc_subset.rs |
| SDC-REQ-0041 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0042 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0043 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0044 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0045 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0046 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0047 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0048 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/encode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0049 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/decode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0050 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/src/sdc.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs @common/crates/formats/rusteda-formats/src/sdc/constr/decode.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs |
| SDC-REQ-0051 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0052 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0053 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/tests/sdc_roundtrip.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0054 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0055 | docs/specs/sdc/sdc.md | @common/crates/apps/rusteda-cli/src/import_sdc.rs @common/crates/apps/rusteda-cli/tests/import_sdc.rs @common/crates/formats/rusteda-formats/src/sdc.rs crates/apps/rusteda-cli/tests/import_sdc.rs |
| SDC-REQ-0070 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/tests/sdc_commands.rs crates/apps/rustsys-cli/tests/workspace_opt.rs |
| SDC-REQ-0071 | docs/specs/sdc/sdc.md | @common/crates/formats/rusteda-formats/tests/sdc_commands.rs |
| SYNTH-REQ-0101 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/lib.rs |
| SYNTH-REQ-0102 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs |
| SYNTH-REQ-0103 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0104 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0105 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0110 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/types.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0111 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0112 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/module.rs crates/verify/rustsys-check/src/rtl/elab.rs |
| SYNTH-REQ-0120 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/drive.rs crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0121 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/stmt.rs crates/engines/rustsys/tests/rejected_statements.rs |
| SYNTH-REQ-0122 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/hier.rs crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0123 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/hier.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0124 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0125 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/module.rs |
| SYNTH-REQ-0130 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/stmt.rs |
| SYNTH-REQ-0131 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/pattern.rs |
| SYNTH-REQ-0132 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/call.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/process.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0133 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/src/proto/codes.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/stmt.rs crates/engines/rustsys/tests/rejected_statements.rs |
| SYNTH-REQ-0140 | docs/specs/synth/frontend.md | crates/engines/rustsys/src/elab/hier.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0141 | docs/specs/synth/frontend.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/tests/rejected_statements.rs |
| SYNTH-REQ-0201 | docs/specs/synth/semantics.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/case.rs crates/engines/rustsys/src/elab/expr.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/tests/elab_semantics.rs crates/engines/rustsys/tests/select_and_case.rs crates/verify/rustsys-check/src/rtl/proc.rs |
| SYNTH-REQ-0202 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/expr.rs crates/engines/rustsys/src/elab/sizing.rs crates/engines/rustsys/tests/elab_semantics.rs crates/verify/rustsys-check/src/rtl/size.rs |
| SYNTH-REQ-0203 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/bits.rs crates/engines/rustsys/src/bits/tests.rs crates/engines/rustsys/src/elab/expr.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0204 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/bits/tests.rs crates/engines/rustsys/src/elab/expr.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0205 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/expr.rs |
| SYNTH-REQ-0206 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/expr.rs crates/engines/rustsys/src/elab/select.rs crates/engines/rustsys/tests/elab_semantics.rs crates/engines/rustsys/tests/select_and_case.rs |
| SYNTH-REQ-0207 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/types.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0208 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/select.rs crates/engines/rustsys/src/elab/sizing.rs crates/engines/rustsys/src/elab/types.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0210 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/drive.rs crates/engines/rustsys/src/elab/merge.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/stmt.rs crates/engines/rustsys/tests/elab_semantics.rs crates/verify/rustsys-check/src/rtl/mod.rs crates/verify/rustsys-check/src/rtl/proc.rs |
| SYNTH-REQ-0211 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/merge.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/process.rs |
| SYNTH-REQ-0212 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/process.rs crates/verify/rustsys-check/src/rtl/always.rs |
| SYNTH-REQ-0213 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/resolve.rs crates/verify/rustsys-check/src/rtl/elab.rs |
| SYNTH-REQ-0214 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/process.rs crates/engines/rustsys/src/elab/resolve.rs crates/engines/rustsys/tests/elab_semantics.rs crates/verify/rustsys-check/src/rtl/always.rs |
| SYNTH-REQ-0215 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0216 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/stmt.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0217 | docs/specs/synth/semantics.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/mod.rs |
| SYNTH-REQ-0218 | docs/specs/synth/semantics.md | crates/verify/rustsys-check/src/rtl/proc.rs |
| SYNTH-REQ-0219 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/call.rs crates/verify/rustsys-check/src/rtl/call.rs |
| SYNTH-REQ-0220 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/case.rs crates/engines/rustsys/tests/select_and_case.rs crates/verify/rustsys-check/src/rtl/proc.rs |
| SYNTH-REQ-0221 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/sizing.rs crates/verify/rustsys-check/src/rtl/size.rs crates/verify/rustsys-fixtures/src/rtl_more.rs |
| SYNTH-REQ-0222 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/expr.rs crates/verify/rustsys-check/src/rtl/assign.rs |
| SYNTH-REQ-0223 | docs/specs/synth/semantics.md | crates/engines/rustsys/src/elab/pattern.rs crates/engines/rustsys/tests/elab_semantics.rs crates/verify/rustsys-check/src/rtl/assign.rs crates/verify/rustsys-check/tests/rtl_patterns.rs |
| SYNTH-REQ-0224 | docs/specs/synth/semantics.md | crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/tests/case_assumptions_random.rs crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/case.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/select_and_case.rs |
| SYNTH-REQ-0225 | docs/specs/synth/semantics.md | crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/tests/case_assumptions_random.rs crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/elab/case.rs crates/engines/rustsys/src/elab/merge.rs crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/select_and_case.rs |
| SYNTH-REQ-0301 | docs/specs/synth/sequential.md | crates/engines/rustsys/src/elab/process.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0302 | docs/specs/synth/sequential.md | crates/engines/rustsys/src/elab/process.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0303 | docs/specs/synth/sequential.md | crates/engines/rustsys/src/elab/process.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0304 | docs/specs/synth/sequential.md | crates/engines/rustsys/src/elab/process.rs |
| SYNTH-REQ-0305 | docs/specs/synth/sequential.md | crates/engines/rustsys/src/elab/process.rs crates/engines/rustsys/tests/elab_semantics.rs |
| SYNTH-REQ-0306 | docs/specs/synth/sequential.md | crates/apps/rustsys-cli/tests/synth_frontend.rs |
| SYNTH-REQ-0307 | docs/specs/synth/sequential.md | crates/apps/rustsys-cli/tests/synth_frontend.rs |
| SYNTH-REQ-0308 | docs/specs/synth/sequential.md | crates/engines/rustsys/src/opt/mod.rs |
| SYNTH-REQ-0309 | docs/specs/synth/sequential.md | crates/apps/rustsys-cli/src/proto/tests/reset.rs |
| SYNTH-REQ-0310 | docs/specs/synth/sequential.md | crates/apps/rustsys-cli/src/proto/tests/reset.rs |
| SYNTH-REQ-0311 | docs/specs/synth/sequential.md | crates/apps/rustsys-cli/src/proto/tests/reset.rs |
| SYNTH-REQ-0401 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/aig.rs |
| SYNTH-REQ-0402 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/elab/resolve.rs crates/engines/rustsys/src/ingest/blif.rs |
| SYNTH-REQ-0403 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/bits.rs crates/engines/rustsys/src/bits/tests.rs crates/engines/rustsys/tests/select_and_case.rs |
| SYNTH-REQ-0404 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/bits.rs crates/engines/rustsys/src/bits/tests.rs crates/verify/rustsys-check/src/rtl/word.rs |
| SYNTH-REQ-0405 | docs/specs/synth/optimization.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/bits.rs crates/engines/rustsys/src/bits/tests.rs crates/engines/rustsys/src/covers.rs |
| SYNTH-REQ-0406 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/aig.rs crates/engines/rustsys/src/opt/muxmerge.rs crates/engines/rustsys/tests/passes.rs |
| SYNTH-REQ-0407 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/bits.rs crates/engines/rustsys/src/elab/expr.rs crates/engines/rustsys/src/elab/mod.rs |
| SYNTH-REQ-0408 | docs/specs/synth/optimization.md | crates/engines/rustsys/tests/passes.rs |
| SYNTH-REQ-0410 | docs/specs/synth/optimization.md | crates/engines/rustsys/tests/passes.rs |
| SYNTH-REQ-0411 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/opt/balance.rs crates/engines/rustsys/src/opt/factor.rs crates/engines/rustsys/src/opt/lib4.rs crates/engines/rustsys/src/opt/merge.rs crates/engines/rustsys/src/opt/refactor.rs crates/engines/rustsys/src/opt/resub.rs crates/engines/rustsys/src/opt/rewrite.rs crates/engines/rustsys/tests/balance.rs crates/engines/rustsys/tests/passes.rs |
| SYNTH-REQ-0412 | docs/specs/synth/optimization.md | crates/apps/rustsys-cli/src/proto/job.rs crates/engines/rustsys/src/lib.rs |
| SYNTH-REQ-0413 | docs/specs/synth/optimization.md | crates/apps/rustsys-cli/tests/synth_frontend.rs |
| SYNTH-REQ-0414 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/opt/muxdecode.rs crates/engines/rustsys/tests/passes.rs |
| SYNTH-REQ-0415 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/opt/refactor.rs |
| SYNTH-REQ-0416 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/opt/refactor.rs |
| SYNTH-REQ-0417 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/opt/refactor.rs |
| SYNTH-REQ-0418 | docs/specs/synth/optimization.md | crates/engines/rustsys/src/opt/refactor.rs crates/engines/rustsys/tests/passes.rs |
| SYNTH-REQ-0501 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/library.rs crates/engines/rustsys/tests/map_consistency.rs xtask/src/pdk/scan.rs |
| SYNTH-REQ-0502 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/library.rs |
| SYNTH-REQ-0510 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/covers.rs crates/engines/rustsys/src/map/cuts.rs crates/engines/rustsys/src/map/mapper.rs |
| SYNTH-REQ-0511 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/mapper.rs crates/engines/rustsys/tests/map_consistency.rs |
| SYNTH-REQ-0512 | docs/specs/synth/mapping.md | crates/apps/rustsys-cli/src/proto/job.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/src/map/area.rs crates/engines/rustsys/src/map/compute.rs crates/engines/rustsys/src/map/mapper.rs crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0513 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/estimate.rs crates/engines/rustsys/src/map/library.rs crates/engines/rustsys/src/map/mapper.rs crates/engines/rustsys/tests/netlist_estimate.rs |
| SYNTH-REQ-0514 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/estimate.rs crates/engines/rustsys/src/map/library.rs crates/engines/rustsys/src/map/mapper.rs |
| SYNTH-REQ-0515 | docs/specs/synth/mapping.md | crates/apps/rustsys-cli/tests/synth_backends.rs crates/engines/rustsys/src/map/mapper.rs crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0516 | docs/specs/synth/mapping.md | crates/apps/rustsys-cli/benches/backends.rs crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/tests/synth_backends.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/src/map/compute.rs crates/engines/rustsys/src/map/mapper.rs crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0517 | docs/specs/synth/mapping.md | crates/apps/rustsys-cli/tests/synth_backends.rs crates/engines/rustsys/src/map/area.rs crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0518 | docs/specs/synth/mapping.md | crates/apps/rustsys-cli/tests/synth_backends.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/src/map/mod.rs |
| SYNTH-REQ-0520 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/mod.rs crates/engines/rustsys/src/map/seq_select.rs crates/engines/rustsys/tests/enabled_seq.rs |
| SYNTH-REQ-0521 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/mod.rs |
| SYNTH-REQ-0522 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/emit.rs crates/engines/rustsys/src/map/library.rs xtask/src/pdk/scan.rs |
| SYNTH-REQ-0523 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/electrical/tests.rs crates/engines/rustsys/src/map/library.rs crates/engines/rustsys/src/map/seq_modes.rs crates/engines/rustsys/tests/enabled_seq.rs |
| SYNTH-REQ-0524 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0525 | docs/specs/synth/mapping.md | crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0530 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0531 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0532 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0533 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0534 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0535 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0536 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0537 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0538 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0539 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0540 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/map/area.rs |
| SYNTH-REQ-0541 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests_rules.rs |
| SYNTH-REQ-0542 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0543 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0544 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/map/tests.rs |
| SYNTH-REQ-0545 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0546 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0547 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/state_phase.rs crates/engines/rustsys/src/electrical/tests_rules.rs |
| SYNTH-REQ-0548 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests.rs |
| SYNTH-REQ-0549 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/tests/pin_groups.rs |
| SYNTH-REQ-0550 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/covers.rs |
| SYNTH-REQ-0551 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/repair.rs |
| SYNTH-REQ-0552 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/covers.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/electrical/network.rs crates/engines/rustsys/src/electrical/repair.rs crates/engines/rustsys/src/electrical/tests.rs crates/engines/rustsys/src/electrical/tests_rules.rs |
| SYNTH-REQ-0553 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/covers.rs |
| SYNTH-REQ-0554 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/covers.rs |
| SYNTH-REQ-0556 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/fanout/tests.rs crates/engines/rustsys/src/electrical/resize/tests.rs |
| SYNTH-REQ-0557 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/bits/tests.rs |
| SYNTH-REQ-0558 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/bits/carry_plan.rs |
| SYNTH-REQ-0559 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/bits/tests.rs |
| SYNTH-REQ-0560 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/covers/individual.rs |
| SYNTH-REQ-0561 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/workspace_opt.rs crates/engines/rustsys/src/electrical/incremental.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/incremental.rs |
| SYNTH-REQ-0562 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/incremental.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/tests/incremental.rs |
| SYNTH-REQ-0563 | docs/specs/synth/electrical.md | crates/engines/rustsys/src/electrical/incremental.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/tests/incremental.rs |
| SYNTH-REQ-0564 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/tests/workspace_opt.rs crates/engines/rustsys/src/electrical/incremental.rs crates/engines/rustsys/src/electrical/mod.rs crates/engines/rustsys/tests/incremental.rs |
| SYNTH-REQ-0565 | docs/specs/synth/electrical.md | crates/apps/rustsys-cli/src/ws/opt.rs crates/engines/rustsys/src/estimate.rs crates/engines/rustsys/tests/netlist_estimate.rs |
| SYNTH-REQ-0601 | docs/specs/synth/netlist.md | crates/engines/rustsys/src/emit.rs crates/engines/rustsys/tests/enabled_seq.rs crates/engines/rustsys/tests/map_consistency.rs xtask/src/pdk/scan.rs |
| SYNTH-REQ-0602 | docs/specs/synth/netlist.md | crates/engines/rustsys/src/elab/module.rs crates/engines/rustsys/src/elab/resolve.rs crates/engines/rustsys/src/emit.rs |
| SYNTH-REQ-0603 | docs/specs/synth/netlist.md | crates/engines/rustsys/src/elab/mod.rs crates/engines/rustsys/src/elab/resolve.rs crates/engines/rustsys/src/elab/types.rs crates/engines/rustsys/src/emit.rs crates/engines/rustsys/tests/elab_semantics.rs crates/verify/rustsys-check/src/netlist.rs crates/verify/rustsys-check/src/rtl/mod.rs |
| SYNTH-REQ-0604 | docs/specs/synth/netlist.md | crates/engines/rustsys/src/emit.rs |
| SYNTH-REQ-0605 | docs/specs/synth/netlist.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/emit.rs |
| SYNTH-REQ-0606 | docs/specs/synth/netlist.md | crates/engines/rustsys/src/emit.rs |
| SYNTH-REQ-0701 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/src/args.rs crates/apps/rustsys-cli/src/lib.rs crates/apps/rustsys-cli/src/proto/job.rs crates/engines/rustsys/src/lib.rs |
| SYNTH-REQ-0702 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/tests/synth_frontend.rs |
| SYNTH-REQ-0703 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/tests/synth_frontend.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/src/map/mapper/config.rs |
| SYNTH-REQ-0704 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/src/proto/text.rs |
| SYNTH-REQ-0705 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/tests/cli_contract.rs |
| SYNTH-REQ-0706 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/tests/cli_contract.rs |
| SYNTH-REQ-0707 | docs/specs/synth/cli.md | crates/apps/rustsys-cli/tests/cli_contract.rs crates/engines/rustsys/src/emit.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/job_hooks.rs |
| SYNTH-REQ-0708 | docs/specs/synth/cli.md | crates/engines/rustsys/src/lib.rs |
| SYNTH-REQ-0710 | docs/specs/synth/cli.md | crates/engines/rustsys/src/lib.rs crates/engines/rustsys/src/map/mapper.rs crates/engines/rustsys/src/view.rs crates/engines/rustsys/tests/job_hooks.rs |
| SYNTH-REQ-0711 | docs/specs/synth/cli.md | crates/engines/rustsys/src/map/compute.rs |
| SYNTH-REQ-0801 | docs/specs/synth/verification.md | crates/apps/rustsys-cli/tests/corpus.rs xtask/src/pdk/run.rs |
| SYNTH-REQ-0802 | docs/specs/synth/verification.md | crates/apps/rustsys-cli/tests/corpus.rs crates/apps/rustsys-cli/tests/defects.rs crates/apps/rustsys-cli/tests/known_answer.rs crates/apps/rustsys-cli/tests/metamorphic.rs crates/apps/rustsys-cli/tests/random.rs crates/verify/rustsys-fixtures/src/random.rs crates/verify/rustsys-fixtures/src/rtl.rs |
| SYNTH-REQ-0803 | docs/specs/synth/verification.md | xtask/src/coverage.rs |
| SYNTH-REQ-0900 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/sources.rs |
| SYNTH-REQ-0901 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/src/ws/check.rs crates/apps/rustsys-cli/src/ws/synth.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/tests/ingest.rs |
| SYNTH-REQ-0902 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/gates.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/tests/ingest.rs |
| SYNTH-REQ-0903 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/gates.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/blif.rs |
| SYNTH-REQ-0904 | docs/specs/synth/inputs.md | crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/blif.rs crates/verify/rustsys-check/src/sources.rs |
| SYNTH-REQ-0905 | docs/specs/synth/inputs.md | crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/blif.rs |
| SYNTH-REQ-0906 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/src/proto/job.rs crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/cells.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/blif.rs crates/verify/rustsys-check/src/sources.rs |
| SYNTH-REQ-0907 | docs/specs/synth/inputs.md | crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/aiger.rs crates/verify/rustsys-check/src/blif.rs |
| SYNTH-REQ-0908 | docs/specs/synth/inputs.md | crates/engines/rustsys/src/ingest/aiger.rs crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/blif.rs |
| SYNTH-REQ-0909 | docs/specs/synth/inputs.md | crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/cells.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs |
| SYNTH-REQ-0910 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/cells.rs crates/engines/rustsys/src/ingest/gates.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs |
| SYNTH-REQ-0911 | docs/specs/synth/inputs.md | crates/engines/rustsys/src/ingest/blif.rs crates/engines/rustsys/src/ingest/cells.rs crates/engines/rustsys/src/ingest/gates.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs crates/verify/rustsys-check/src/blif.rs |
| SYNTH-REQ-0912 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/gates.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs |
| SYNTH-REQ-0913 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/tests/netlist_sources.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/src/lib.rs crates/engines/rustsys/tests/ingest.rs |
| SYNTH-REQ-0914 | docs/specs/synth/inputs.md | crates/apps/rustsys-cli/src/proto/codes.rs crates/engines/rustsys/src/ingest/mod.rs crates/engines/rustsys/tests/ingest.rs |
| VERILOG-REQ-0001 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/lex.rs @common/crates/formats/rusteda-formats/src/verilog/number.rs @common/crates/formats/rusteda-formats/src/verilog/token.rs |
| VERILOG-REQ-0002 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/lex.rs @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/span.rs @common/crates/formats/rusteda-formats/tests/verilog_parse_design.rs |
| VERILOG-REQ-0100 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/ast.rs @common/crates/formats/rusteda-formats/src/verilog/ast/stmt.rs @common/crates/formats/rusteda-formats/src/verilog/parse/mod.rs @common/crates/formats/rusteda-formats/tests/verilog_parse_design.rs |
| VERILOG-REQ-0101 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/parse/mod.rs |
| VERILOG-REQ-0102 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/lex.rs @common/crates/formats/rusteda-formats/src/verilog/parse/stmt.rs @common/crates/formats/rusteda-formats/src/verilog/token.rs |
| VERILOG-REQ-0103 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/ast.rs @common/crates/formats/rusteda-formats/tests/verilog_parse_design.rs |
| VERILOG-REQ-0104 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/ast.rs |
| VERILOG-REQ-0105 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/mod.rs |
| VERILOG-REQ-0200 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0201 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0202 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0203 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0204 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0205 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0206 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/mod.rs @common/crates/formats/rusteda-formats/src/verilog/pp.rs |
| VERILOG-REQ-0300 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/tests.rs @common/crates/formats/rusteda-formats/src/verilog/write.rs crates/engines/rustsys/tests/netlist_round_trip.rs |
| VERILOG-REQ-0301 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/tests.rs @common/crates/formats/rusteda-formats/src/verilog/write.rs crates/engines/rustsys/tests/netlist_round_trip.rs |
| VERILOG-REQ-0302 | docs/specs/verilog/verilog.md | @common/crates/formats/rusteda-formats/src/verilog/write.rs |
| VERILOG-REQ-0310 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0311 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0312 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0313 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0314 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0315 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| VERILOG-REQ-0316 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0317 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| VERILOG-REQ-0318 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs |
| VERILOG-REQ-0319 | docs/specs/verilog/netlist.md | @common/crates/formats/rusteda-formats/src/verilog/netlist.rs @common/crates/formats/rusteda-formats/src/verilog/netlist/freeze_writer.rs |
| WS-REQ-0001 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/init.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0002 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0003 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0004 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0005 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs |
| WS-REQ-0010 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/formats/rusteda-formats/src/sdc/constr.rs |
| WS-REQ-0011 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/core/rusteda-workspace/src/txn.rs |
| WS-REQ-0012 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs |
| WS-REQ-0013 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/hash.rs @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0014 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0020 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rev.rs |
| WS-REQ-0021 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rev.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0022 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/edits.rs @common/crates/core/rusteda-workspace/src/rev.rs |
| WS-REQ-0023 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0024 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/failures.rs |
| WS-REQ-0025 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs @common/crates/core/rusteda-workspace/tests/failures.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0026 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/failures.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0030 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0031 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0032 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0033 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0034 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0035 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/lib.rs @common/crates/core/rusteda-workspace/tests/rbin.rs @common/crates/core/rusteda-workspace/tests/source_rules.rs |
| WS-REQ-0036 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0037 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/lib.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/rbin.rs @common/crates/core/rusteda-workspace/tests/source_rules.rs |
| WS-REQ-0038 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0039 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0040 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0041 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs |
| WS-REQ-0042 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs crates/apps/rustsys-cli/src/ws/request.rs |
| WS-REQ-0043 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0044 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0045 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0046 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0047 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/schema.rs @common/crates/core/rusteda-workspace/src/txn.rs |
| WS-REQ-0050 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/lock.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0051 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/lib.rs @common/crates/core/rusteda-workspace/src/lock.rs |
| WS-REQ-0052 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0053 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0060 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0061 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0062 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0063 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0064 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0065 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0066 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0067 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0068 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/revert.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0069 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/import.rs @common/crates/apps/rusteda-cli/src/init.rs @common/crates/apps/rusteda-cli/src/revert.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/failures.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0070 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0071 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0072 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0073 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0074 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0075 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace.rs |
| WS-REQ-0076 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/src/workspace_io.rs @common/crates/core/rusteda-workspace/tests/failures.rs |
| WS-REQ-0077 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0078 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin.rs @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/rbin.rs |
| WS-REQ-0079 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/fsutil.rs @common/crates/core/rusteda-workspace/src/txn.rs @common/crates/core/rusteda-workspace/tests/failures.rs |
| WS-REQ-0080 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/mmap.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0081 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0082 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/workspace.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0083 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0084 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/cache.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/cache.rs |
| WS-REQ-0090 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs |
| WS-REQ-0091 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs @common/crates/core/rusteda-workspace/src/json.rs |
| WS-REQ-0092 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs @common/crates/core/rusteda-workspace/src/json.rs |
| WS-REQ-0093 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/error.rs |
| WS-REQ-0094 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs |
| WS-REQ-0095 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/text.rs |
| WS-REQ-0096 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/text.rs |
| WS-REQ-0097 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/src/lib.rs @common/crates/core/rusteda-workspace/src/error.rs @common/crates/core/rusteda-workspace/src/text.rs |
| WS-REQ-0100 | docs/specs/workspace/README.md | @common/crates/core/rusteda-workspace/src/rbin_tests.rs @common/crates/core/rusteda-workspace/tests/workspace_ops.rs |
| WS-REQ-0110 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0111 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/src/rlib/decode.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0112 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0113 | docs/specs/workspace/rlib.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| WS-REQ-0114 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/src/rlib/decode.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0115 | docs/specs/workspace/rlib.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| WS-REQ-0116 | docs/specs/workspace/rlib.md | @common/crates/apps/rusteda-cli/tests/cli_contract.rs @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs crates/apps/rusteda-cli/tests/cli_contract.rs |
| WS-REQ-0117 | docs/specs/workspace/rlib.md | @common/crates/core/rusteda-workspace/src/rlib.rs @common/crates/core/rusteda-workspace/tests/rlib.rs |
| WS-REQ-0120 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0121 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0122 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0123 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0124 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0125 | docs/specs/workspace/netlist.md | @common/crates/core/rusteda-workspace/src/netlist.rs @common/crates/core/rusteda-workspace/tests/netlist.rs |
| WS-REQ-0126 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs @common/crates/core/rusteda-workspace/tests/sta.rs |
| WS-REQ-0127 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0128 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0129 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0130 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0131 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0132 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0133 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0134 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/read.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0135 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/build.rs @common/crates/core/rusteda-workspace/src/sta/layout.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs @common/crates/core/rusteda-workspace/tests/sta.rs |
| WS-REQ-0136 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta.rs @common/crates/core/rusteda-workspace/src/sta/tests.rs |
| WS-REQ-0137 | docs/specs/workspace/sta.md | @common/crates/core/rusteda-workspace/src/sta/build.rs |
| WS-REQ-0190 | docs/specs/workspace/README.md | @common/crates/apps/rusteda-cli/tests/import_logic.rs @common/crates/core/rusteda-workspace/src/envelope.rs @common/crates/core/rusteda-workspace/src/envelope_tests.rs crates/apps/rusteda-cli/tests/import_logic.rs |
| Prefix | Requirements | Without a citing test or source |
|---|---|---|
| AIGER | 14 | 0 |
| BLIF | 23 | 0 |
| CHECK | 40 | 0 |
| CLI | 35 | 0 |
| COMPUTE | 32 | 0 |
| CORE | 26 | 0 |
| JOB | 7 | 0 |
| LIBERTY | 49 | 0 |
| PROTO | 22 | 0 |
| RCLI | 30 | 0 |
| SDC | 57 | 0 |
| SYNTH | 158 | 0 |
| VERILOG | 28 | 0 |
| WS | 100 | 0 |
621 requirements, 0 without a citing test or source.