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

Translation status

72 Strings 100%
Browse Translate
560 Words 100%
3,851 Characters 100%

Strings status

Strings Words Characters
72 560 3,851
All strings Browse Translate Zen
72 560 3,851
Approved strings Browse Translate Zen
72 560 3,851
Translated strings Browse Translate Zen
4 54 399
Approved strings with suggestions Browse Translate Zen
4 54 399
Strings with suggestions Browse Translate Zen
15 30 286
Translated strings with dismissed checks 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 0dd5fe26e
GiHub Action Bot authored 4 weeks 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/zh_CN/LC_MESSAGES/SpinalHDL/Formal verification/index.po
Last change Dec. 14, 2023, 11:32 a.m.
Last author Readon
6 days ago

String statistics

Strings percent Hosted strings Words percent Hosted words Characters percent Hosted characters
Total 72 560 3,851
Approved 100% 72 100% 560 100% 3,851
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 0% 0 0% 0 0% 0
Failing checks 0% 0 0% 0 0% 0
Strings with suggestions 5% 4 9% 54 10% 399
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 168 changes 0 changes 0 changes 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

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

Changes committed

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
Changes committed 6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
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".
可以能存在以 ``formalAssertsMaster``, ``formalAssertsSlave``, ``formalAssumesMaster``, ``formalAssumesSlave`` or ``formalCovers`` 命名的函数。 Master/Slave 是目标接口类型，因此，``formalAssertsMaster`` 可以理解为“主接口的形式化验证断言”。
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
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".
名称“可以存在以 ``formalAssertsMaster”、“``, ``formalAssertsSlave”、“``, ``formalAssumesMaster”、“``, ``formalAssumesSlave”或“`` or ``formalCovers”中可能存在`` 命名的函数。 Master/Slave 是目标接口类型，因此，``formalAssertsMaster`` 可以理解为“主接口的形式化验证断言”。
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
For interfaces implement IMasterSlave
对于接口实现 IMasterSlave的接口
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
The minimum required assertions internally in a ``Component`` for "prove" can be named as ``formalAsserts``.
“证明”的“组件”模式中需要的， ``Component`` 内部所需的最少断言可以命名为“ ``formalAsserts”``。
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
For Component
对于组件
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
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.
所有与形式验证相关的函数都返回 Area 或 Composite（首选），并命名为formalXXXX。 ``formalContext`` 可用于创建形式相关逻辑，其中可能有还有可能是 ``formalAsserts``、 ``formalAssumes`` 和 ``formalCovers`` 。
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
Naming polices
命名政策略
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
There is no support for unclocked assertions. But their usage in third party formal verification examples seems mostly code style related.
不支持非时钟驱动的断言。但它们在第三方形式化验证示例中的有这样使用，似乎主要与代码风格相关。
6 months ago
User avatar Readon

Translation approved

  1. SpinalDoc-RTD
  2. SpinalHDL/Formal verification/index
  3. Chinese (Simplified)
Limitations
局限性
6 months ago
Browse all translation changes