This project is in a trial period, be cautious while contributing. Setup can still change before being approved as a libre project.

Source strings

72 Strings 100%
Browse Translate
560 Words 100%
3,851 Characters 100%
This translation is being used as source strings within this component.

Strings status

Strings Words Characters
72 560 3,851
All strings Browse Translate Zen
72 560 3,851
Read-only strings Browse Translate Zen

Overview

Project website spinalhdl.github.io/SpinalDoc-RTD
Instructions for translators

SpinalHDL的使用说明
Project maintainers User avatar Readon User avatar SpinalHDL-CN User avatar tsy0123
Translation license Creative Commons Zero v1.0 Universal
Translation process
  • Translations can be made directly.
  • Translation suggestions can be made.
  • Translations are reviewed by dedicated reviewers.
  • Any authenticated user can contribute.
  • The translation uses bilingual files.
Source code repository git@github.com:SpinalHDL-CN/SpinalDoc-RTD.git
Repository branch master
Last remote commit update .pot files 26b7610fd
GiHub Action Bot authored 11 days ago
Last commit in Weblate Translated using Weblate (Chinese (Simplified)) 00ece1dee
User avatar tsy0123 authored 6 months ago
Weblate repository https://hosted.weblate.org/git/spinaldoc-rtd/index/
File mask source/locale/*/LC_MESSAGES/SpinalHDL/Formal verification/index.po
Translation file Download source/locale/gettext/SpinalHDL/Formal verification/index.pot
Last change Jan. 2, 2024, 5:09 p.m.
Last author None
2 weeks ago

String statistics

Strings percent Hosted strings Words percent Hosted words Characters percent Hosted characters
Total 72 560 3,851
Approved 0% 0 0% 0 0% 0
Waiting for review 0% 0 0% 0 0% 0
Translated 100% 72 100% 560 100% 3,851
Needs editing 0% 0 0% 0 0% 0
Read-only 100% 72 100% 560 100% 3,851
Failing checks 0% 0 0% 0 0% 0
Strings with suggestions 0% 0 0% 0 0% 0
Untranslated strings 0% 0 0% 0 0% 0
Last 12 months Previous

Activity in last 12 months

0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 74 changes 0 changes 1 change 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes 0 changes
Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May

Quick numbers

560
Hosted words
72
Hosted strings
100%
Translated
0
Contributors
and previous 30 days

Trends of last 30 days

+100%
Hosted words
—
+100%
Hosted strings
—
+100%
Translated
—
—
Contributors
—
User avatar None

Resource updated

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
The “source/locale/gettext/SpinalHDL/Formal verification/index.pot” file was changed. 5 months ago
User avatar None

Resource updated

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
The “source/locale/gettext/SpinalHDL/Formal verification/index.pot” file was changed. 6 months ago
User avatar None

Resource updated

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
File “source/locale/template/SpinalHDL/Formal verification/index.pot” was added. 6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
There could be functions in name ``formalAssertsMaster``, ``formalAssertsSlave``, ``formalAssumesMaster``, ``formalAssumesSlave`` or ``formalCovers``. Master/Slave are target interface type, so that ``formalAssertsMaster`` can be understand as "formal verfication assertions for master interface".
There could be functions in name ``formalAssertsMaster``, ``formalAssertsSlave``, ``formalAssumesMaster``, ``formalAssumesSlave`` or ``formalCovers``. Master/Slave are target interface type, so that ``formalAssertsMaster`` can be understand as "formal verfication assertions for master interface".
6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
For interfaces implement IMasterSlave
For interfaces implement IMasterSlave
6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
The minimum required assertions internally in a ``Component`` for "prove" can be named as ``formalAsserts``.
The minimum required assertions internally in a ``Component`` for "prove" can be named as ``formalAsserts``.
6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
For Component
For Component
6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
All formal validation related functions return Area or Composite (preferred), and naming as formalXXXX. ``formalContext`` can be used to create formal related logic, there could be ``formalAsserts``, ``formalAssumes`` and ``formalCovers`` in it.
All formal validation related functions return Area or Composite (preferred), and naming as formalXXXX. ``formalContext`` can be used to create formal related logic, there could be ``formalAsserts``, ``formalAssumes`` and ``formalCovers`` in it.
6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
Naming polices
Naming polices
6 months ago
User avatar None

String updated in the repository

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. English
There is no support for unclocked assertions. But their usage in third party formal verification examples seems mostly code style related.
There is no support for unclocked assertions. But their usage in third party formal verification examples seems mostly code style related.
6 months ago
Browse all translation changes