news
news copied to clipboard
VHDL
VHDL related news.
```yaml ref: https://www.docker.com/blog/the-docker-dashboard-welcomes-hub-and-local-images/ repo: ghdl/docker tags: - docker - container - simulation - synthesis - programming ```
```yaml ref: https://github.com/ghdl/ghdl/issues/1174#issuecomment-700057762 tags: [ghdl, ghdl-yosys-plugin, yosys, synthesis, verilog, btor2, smt2, edif, firrtl] ``` > I made a list of "How to convert vhdl to ..." in hopes it gets...
```yaml ref: https://github.com/umarcor/vunit-cocotb/blob/master/README.md tags: [vunit, cocotb, python, testing, verification, co-simulation, simulation, ghdl] repo: umarcor/vunit-cocotb ```
```yaml ref: https://www.youtube.com/c/SusanaCanel repo: susanacanel/proyectos-vhdl tags: - learning - teaching - exercises - videos - youtube - modelsim - ghdl - altera ``` Youtube channel [SusanaCanel](https://www.youtube.com/c/SusanaCanel) contains 100+ videos (in...
```yaml ref: http://pepijndevos.nl/2019/08/15/open-source-formal-verification-in-vhdl.html ```
```yaml ref: https://dev.to/targeted/learning-fpga-programming-key-points-for-a-software-developer-18bf tags: [learning, fpga, programming] ``` - [dev.to/targeted](https://dev.to/targeted/) - [Learning FPGA programming, key points for a software developer (part 1, the time) ](https://dev.to/targeted/learning-fpga-programming-key-points-for-a-software-developer-18bf) - [Learning FPGA programming, key...
```yaml ref: https://vhdlwhiz.com/vhdl-2019/ tags: [vhdl-2019, ieee, verification, vhdlwhiz] ```
```yaml ref: https://www.edaplayground.com/playgrounds?searchString=vhdl-2019&language=VHDL tags: [vhdl-2019, verification, eda-playground, riviera] ``` First examples of VHDL-2019 on EDA playground supported by Riviera Pro: * some of the new features of the std.env package...
```yaml ref: http://que.no/index.php/2017/07/03/uvvm-tutorial/ tags: [verification, simulation, UVVM] ```
```yaml ref: https://github.com/tmeissner/psl_with_ghdl tags: [psl, ghdl, yosys, verification, formal-verification, assertions, symbiyosys, functional-coverage] repo: tmeissner/psl_with_ghdl ``` A collection of examples of using PSL ([Property Specification Language](https://en.wikipedia.org/wiki/Property_Specification_Language)) for functional and formal verification...