check_axi_stream not detecting errros in 5.0.0.dev6
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 35/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 停滞
- 領域
- testing-qa
調査の方向性
The reproduction identifies the failing call in <root>/test/base/olo_base_arb_wrr/olo_base_arb_wrr_tb.vhd at line 138 and the test command in <root>/sim. Start by running python3 run.py *arb_wrr* with vunit_hdl 5.0.0.dev6 and compare the result with 4.7.0. Done means the 5.0.0.dev6 run detects the data mismatch and fails as expected.
索引モデルが issue の本文から書いたものです。
説明
I noticed that in 5.0.0.dev6 check_axi_stream() does not detect data mismatches. Testbenches that worked correctly and actually checked results in 5.0.0.dev6 seem to no more check results and always pass.
IMO this is very CRITICAL. If VUnit does fail due to a bug, this is unhandy but it does not lead to buggy designs passing verification - the problem is detected and a solution can be found. Here the situation is that VUnit does NOT FAIL even if bugs are present. Even worse - testbenches that used to work correctly in the past and in which developers may trust will not do their checks and always succeed. IMO this problem should be tackled better sooner than later.
I have created a reproduction setup here:
https://github.com/open-logic/open-logic/tree/debug/vunit-check-axi-stream-issue
The incorrectly working check_axi_stream() call is in /test/base/olo_base_arb_wrr/olo_base_arb_wrr_tb.vhd on line 138
I am working with ghdl 5.0.1 but I believe the simulator should not play a role
How to reproduce:
- Checkout the branch mentioned above
- Ensure vunit_hdl 5.0.0.dev6 is installed
- Navigate to /sim
- Execute
python3 run.py *arb_wrr*--> This will succeed although it should fail - Change vunit_hdl installation to 4.7.0
- Execute
python3 run.py *arb_wrr*--> This will fail (correct behavior)
- 主要言語
- VHDL
- スター
- 850
- フォーク
- 305
- 平均マージ
- 2日 10時間
- マージ済み PR（30日）
- 7
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
VUnit/vunit のほかの issue
-
KeyError in test scheduler when using TestBench.scan_tests_from_file()対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
メンテナーはふだん 1 日以内に返信
-
GHDL: generics leak between configurations when `ghdl.sim_flags` is set対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
メンテナーはふだん 1 日以内に返信
-
AXI slave VCs have identical stalling behavior対応中かも @Lay007 が 25 日前に担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
メンテナーはふだん 1 日以内に返信
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
bug raised-by:verifier
難易度 2/5 1〜3時間 初心者へのやさしさ 79/100
medici-finance/assay#4008 ·
メンテナーはふだん 1 日以内に返信
-
bug good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
yunaremaia/acc-mcp#63 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
tsukumogami/tsuku#2775 ·
メンテナーはふだん 1 日以内に返信
-
bug effort:medium model:light tests
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信