├── .github └── workflows │ └── actions.yml ├── LICENSE ├── README.md ├── hdl ├── FIFO1.v ├── FIFO2.v ├── ff.v ├── ifc_or.v └── or_gate.v ├── slides ├── Introduction.md ├── README.md ├── Theory.md ├── crv.md ├── index.md ├── testplan.md └── verification.md └── tests ├── Makefile ├── crv.py ├── ifc_coverage.py ├── ifc_test.py ├── or_test.py └── wrappers ├── ifc_test.v └── or_test.v /.github/workflows/actions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/.github/workflows/actions.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/README.md -------------------------------------------------------------------------------- /hdl/FIFO1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/hdl/FIFO1.v -------------------------------------------------------------------------------- /hdl/FIFO2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/hdl/FIFO2.v -------------------------------------------------------------------------------- /hdl/ff.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/hdl/ff.v -------------------------------------------------------------------------------- /hdl/ifc_or.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/hdl/ifc_or.v -------------------------------------------------------------------------------- /hdl/or_gate.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/hdl/or_gate.v -------------------------------------------------------------------------------- /slides/Introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/Introduction.md -------------------------------------------------------------------------------- /slides/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/README.md -------------------------------------------------------------------------------- /slides/Theory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/Theory.md -------------------------------------------------------------------------------- /slides/crv.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/crv.md -------------------------------------------------------------------------------- /slides/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/index.md -------------------------------------------------------------------------------- /slides/testplan.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/testplan.md -------------------------------------------------------------------------------- /slides/verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/slides/verification.md -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/crv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/crv.py -------------------------------------------------------------------------------- /tests/ifc_coverage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/ifc_coverage.py -------------------------------------------------------------------------------- /tests/ifc_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/ifc_test.py -------------------------------------------------------------------------------- /tests/or_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/or_test.py -------------------------------------------------------------------------------- /tests/wrappers/ifc_test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/wrappers/ifc_test.v -------------------------------------------------------------------------------- /tests/wrappers/or_test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/learn-cocotb/tutorial/HEAD/tests/wrappers/or_test.v --------------------------------------------------------------------------------