# start VCS on the CORDIC example
vcs -RI +sysvcs +vc -assert enable_diag -assert filter -cm assert  \
     source/common/defs.v                                  \
     source/par_seq/CORDIC_par_seq.v                       \
     source/bus_if/apb_assertions.v                        \
     source/bus_if/CORDIC_par_seq_APB.v                    \
     source/c_model/c_model.v                              \
     source/Testbench/CORDIC_par_seq_APB_test_master_RTL.v \
     source/Testbench/CORDIC_par_seq_APB_testcase.v        \
     source/Testbench/CORDIC_par_seq_APB_modport_tf.v      \
     source/c_model/c_model.c                              \
  &

