File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2020 distribution : ' temurin'
2121 - name : Setup sbt
2222 uses : sbt/setup-sbt@v1
23+ - name : apt update
24+ run : sudo apt update
2325 - name : Setup Verilator
2426 run : sudo apt-get install verilator
2527 - name : Setup z3
Original file line number Diff line number Diff line change @@ -6468,7 +6468,7 @@ \subsection{Simulator Backends}
64686468simulator command that starts the backend. This is done by using \code {VerilatorFlags}
64696469to add switches to the Verilator simulation command, or \code {VerilatorCFlags} to add
64706470switches to GCC. They should be in the list of annotations along with the backend
6471- annotation. You need to refer to the tool's user manual to find a detailed list of command line arguments.
6471+ annotation. You need to refer to the tool's user manual to find a detailed list of command- line arguments.
64726472Note that \code {VerilatorFlags} and \code {VerilatorCFlags} annotations are advanced features
64736473that should generally not be needed. Furthermore, the flags are not guaranteed to remain stable.
64746474
You can’t perform that action at this time.
0 commit comments