Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Questa's FLI allows depositing over a forced signal #3833

Open
ktbarrett opened this issue Apr 7, 2024 · 0 comments
Open

Questa's FLI allows depositing over a forced signal #3833

ktbarrett opened this issue Apr 7, 2024 · 0 comments
Labels
category:simulators:questa Mentor Questa upstream An issue with an upstream simulator

Comments

@ktbarrett
Copy link
Member

In test_force_release.test_cocotb_writes_dont_overwrite_force_combo and test_force_release.test_cocotb_writes_dont_overwrite_force_registered, Questa's FLI seems to allow the user to overwrite the forced value using a regular deposit, causing the test to fail.

#     80.00ns INFO     cocotb.regression                  running test_force_release.test_cocotb_writes_dont_overwrite_force_combo (5/7)
#                                                             Test Deposits following a Force don't overwrite the value.
#    100.00ns INFO     cocotb.regression                  test_force_release.test_cocotb_writes_dont_overwrite_force_combo failed
#                                                         Traceback (most recent call last):
#                                                           File "/opt/actions-runner/_work/cocotb/cocotb/tests/test_cases/test_force_release/test_force_release.py", line 91, in test_cocotb_writes_dont_overwrite_force_combo
#                                                             assert dut.stream_out_data_comb.value == 10
#                                                         AssertionError: assert LogicArray('00001011', Range(7, 'downto', 0)) == 10
#                                                          +  where LogicArray('00001011', Range(7, 'downto', 0)) = LogicObject(sample_module.stream_out_data_comb).value
#                                                          +    where LogicObject(sample_module.stream_out_data_comb) = HierarchyObject(sample_module with definition sample_module (at /opt/actions-runner/_work/cocotb/cocotb/tests/test_cases/test_force_release/../../../tests/designs/sample_module/sample_module.vhdl)).stream_out_data_comb
#    100.00ns INFO     cocotb.regression                  running test_force_release.test_cocotb_writes_dont_overwrite_force_registered (6/7)
#                                                             Test Deposits following a Force don't overwrite the value.
#    140.01ns INFO     cocotb.regression                  test_force_release.test_cocotb_writes_dont_overwrite_force_registered failed
#                                                         Traceback (most recent call last):
#                                                           File "/opt/actions-runner/_work/cocotb/cocotb/tests/test_cases/test_force_release/test_force_release.py", line 116, in test_cocotb_writes_dont_overwrite_force_registered
#                                                             assert dut.stream_out_data_registered.value == 10
#                                                         AssertionError: assert LogicArray('01001101', Range(7, 'downto', 0)) == 10
#                                                          +  where LogicArray('01001101', Range(7, 'downto', 0)) = LogicObject(sample_module.stream_out_data_registered).value
#                                                          +    where LogicObject(sample_module.stream_out_data_registered) = HierarchyObject(sample_module with definition sample_module (at /opt/actions-runner/_work/cocotb/cocotb/tests/test_cases/test_force_release/../../../tests/designs/sample_module/sample_module.vhdl)).stream_out_data_registered
@ktbarrett ktbarrett added category:simulators:questa Mentor Questa upstream An issue with an upstream simulator labels Apr 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:simulators:questa Mentor Questa upstream An issue with an upstream simulator
Projects
None yet
Development

No branches or pull requests

1 participant