question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

ability to force/freeze signal

See original GitHub issue

rather than just being able to deposit signals, it is helpful to force signals inside a design. Would be great if cocotb would support that. Maybe as an signalname attribute. dut.signalname._force = 1

Issue Analytics

  • State:closed
  • Created 5 years ago
  • Comments:17 (13 by maintainers)

github_iconTop GitHub Comments

3reactions
cmarqucommented, Nov 6, 2018

Force/release would allow us to build a tool for what is called “testbench qualification” or “mutation coverage” - inject an error into the design, run a regression test and check that at least one of the tests finds the injected error. If the error is not detected, the testbench is too sloppy.

We could start by injecting stuck-at faults at the DUT ports (I have a pull request coming up for providing _is_port and _port_direction attributes for discovered objects).

This could be a good project for something like Google’s Summer of Code.

3reactions
lukedarnellcommented, Oct 28, 2018

Ok, I will do a pull request with the changes.

Read more comments on GitHub >

github_iconTop Results From Across the Web

CS/ECE 552 Fall 2006
Set the value of the signal by entering either a 1 or 0 in the Value field and then select the Freeze option...
Read more >
Freeze Force - WARFRAME Wiki - Fandom
Freeze Force is a Warframe Augment Mod for Frost that allows Freeze to be held on cast, creating a wave of energy traveling...
Read more >
Unit1g : Testing the ALU
In order to simulate/verify your testbench, you will need to force the clock and reset signals within the simulator and let it run...
Read more >
FORCED (manual) DEFROST mode on a Samsung Refrigerator
How to put your Samsung Refrigerator in FORCED DEFROST mode, and other functions. This info is not in the users manual.
Read more >
ModelSim Command Reference Manual - Microsemi
Searching for Binary Signal Values in the GUI . ... list, add wave, or log command for the examine command to be able...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found