User`s guide

PALcode Violation Checker 12–19
PVC Commands
help
PVC> help commands
set cpu 21164 Check DECchip 21164 family.
set cpu 21064 Check DECchip 21064 family.
set code_file pal.exe PALcode executable.
set map_file pal.map PALcode map file.
set entry_file pal.entry PALcode entry point addresses
and names.
set log_file pal.log Optional Log file. Use Clear
log_file to close.
set freq_file pal.freq Optional address usage count
file.
go Check all PAL addresses in entry_file.
do n Check PAL entry point at address n.
exit Terminal PVC session.
set pal_base n Offset all PAL addresses by n. The
default
is 0.
set flag x Set PVC flag x, enter HELP FLAGS for a
list.
Show all Show files, cpu type, and flags set.
PVC> help flags
No flag commands are required for a typical PVC run.
The errors and warnings flags are set by default.
set flag all Set all flags.
errors Display restriction errors.
warnings Display restriction warnings and
guideines.
permutations Report number of code paths.
scheduled_code Display instructions as CPU would execute
them.
dead_code Report code that is not reached.
memory_usage Report address and cycle usage.
cycle_count Report permutation cycle counts.
trace_code Disassemble instructions for each
permutation.
There is a clear flag command for each set flag command.
The show flags command will display flags currently set.
PVC> help env
PVC environment variables.
PVC_PAL Executable file (pal.exe)
PVC_MAP Map file (pal.map)
PVC_ENTRY PALcode entry point file (pal.entry)
PVC_LOG Log file (pal.log)
PVC_CPU CPU type
Example command to set a variable under UNIX:
> setenv PVC_PAL ~fred/pvc/pal.exe