User`s guide

12–2 PALcode Violation Checker
PVC Input Files
Figure 12–1 PVC Tool Map
12.2.1 Executable PALcode Image File
The executable PALcode image file contains machine code instructions. This file is
normally generated from the GAS object file. ASTRIP postprocesses the GAS object
file to extract the machine code instructions and strip header information. The fol-
lowing example generates an executable file for PVC:
% astrip filename.o > filename.nh
12.2.2 Entry Points File
The entry points file contains a list of entry points that you want PVC to check. The
legal PAL entry points are defined in the following documents:
• DIGITAL Semiconductor Alpha 21164PC Microprocessor Hardware Reference
Manual
• DIGITAL Semiconductor Alpha 21164 Microprocessor Hardware Reference
Manual
• DIGITAL Semiconductor Alpha 21064 and Alpha 21064A Microprocessors
Hardware Reference Manual
CPP
GAS
ALIST
ASTRIP
PVC
Source File
-P -o
Object File (a.out Format)
-e
-m
.ent
.map .exe
.log
FM-03667.AI4