T. Meissner tmeissner

tmeissner pushed to ghdl-synth at tmeissner/formal_hw_verification

  • bd5fcbcb7a GHDL supports memory with resets, finally

1 week ago

tmeissner pushed to master at tmeissner/Dockerfiles

  • 9bf42f217a Install missing libllvm & gcc pkg in ghdl-formal image

3 weeks ago

tmeissner pushed to ghdl-synth at tmeissner/formal_hw_verification

  • e71b70d34e Add Assumptions about job req VAI interface

3 weeks ago

tmeissner pushed to ghdl-synth at tmeissner/formal_hw_verification

3 weeks ago

tmeissner pushed to master at tmeissner/Dockerfiles

  • c77f6ca3b3 Replace monolitic Dockerfiles by modular ones for SymbiYosys & GHDl(-synth)

1 month ago

tmeissner pushed to ghdl-synth at tmeissner/formal_hw_verification

  • 195765a2aa Adapt to use GHDL as plugin for Yosys VHDL synthesis

1 month ago

tmeissner pushed to ghdl_synth at tmeissner/libvhdl

  • ea5a71fdff Use generics to set vector lenghts instead of unconstrained vectors

1 month ago

tmeissner pushed to master at tmeissner/Dockerfiles

  • a0d3e2b645 Initial commit of SymbiYosys Dockerfile

2 months ago

tmeissner created repository tmeissner/Dockerfiles

2 months ago

tmeissner pushed to master at tmeissner/formal_hw_verification

  • c6cc9203d3 Add png versions of read/write waveform examples

5 months ago

tmeissner pushed to master at tmeissner/formal_hw_verification

  • 8586d8a265 Add frame diagrams for write/read req/acks

5 months ago

tmeissner pushed to master at tmeissner/formal_hw_verification

5 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • 69221adb3f Implement some bonus marks * Add functions cons, len & init

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • 7f8d0429d2 Add implementations for remaining functions * Add list, eval & join functions * Use new macro LASSERT for error checks

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • 0b21a97e7f 1st attempt to implement head & tail functions

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • 85c06130ed Add linker flag for math library; add header file to dependencies

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • e03863667c Add 1st code of chapter 10; parse Qexpressions

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • 987530bf33 Implement some bonus marks * Extend parsing and evaluation to support decimal types using a double field * Remainder operator is already supported
  • b65b9dd657 Add source of chapter 09, slightly adapted (move declarations to header file
  • Compare 2 commits »

6 months ago

tmeissner pushed to master at tmeissner/build_your_own_lisp

  • 0e78985a89 Move err struct member into anonymous union

6 months ago