The Wayback Machine - https://web.archive.org/web/20201201194627/https://github.com/topics/verification
Skip to content
#

verification

Here are 745 public repositories matching this topic...

mtzguido
mtzguido commented Oct 8, 2018

This is very low prio, but it usually happens that when touching Prims or some other file high in the dependency graph, we get spurious diffs in many other files. Since we check-in the snapshot, and we need to have it up-to-date, we get very verbose commits when nothing relevant changed. Plus, when something did change, it's hard to spot.

Example: I removed a few lines in prims and get things

ktbarrett
ktbarrett commented Oct 26, 2020

Cocotb deposits values on signals. It does not behave like another driver. This should be made more explicit. And this is where the documentation for Force, Release, and Freeze should go, not in the middle of the quickstart.

To accompany this an example of interacting with a tri-state bus would be very useful, since that is the most likely reason those behaviors would be used.

Improve this page

Add a description, image, and links to the verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.