source init.tcl

# if you have tcl 8.6 you can use this:
# file tempfile tmpccs
set tmpccs "tmpccs.ccs"

ccs_read "test-oscilator.ccs"

ccs_convert_verilog oscilator.v $tmpccs
ccs_read $tmpccs
file delete $tmpccs

pa_write_process_ccs OSC
pa_write_process_ccs OSC_V
versis_strong_equivalence 0 OSC 0 OSC_V
