SCL allows the reading and writing of program memory location label names from the software running on the processor. To access these labels, you have to tell SCL about the labels by declaring shared labels in the configuration section:
shared label labelName;
"main" is a popular label. Here is an example.
configuration for "PIC16F877" is shared label main; end configuration; testbench for "PIC16F877" is begin process is begin wait until PC == main; report("reached main"); end process; end testbench;
Microchip Technology acquires Atmel