Skip to content

GitLab

Open
Created by Ille, Ondrej, Ing.@illeondrOwner

Formal verification of CTU CAN FD

The scope of this issue is following:

  1. Build docker image with Symbyosis + GHDL plugin
  2. Run formal verification of CTU CAN FD RTL.