Abstract
The simulation and veri®cation of NC codes for CNC machining is a very important task. The aim of this work is to limit the number of cutting tests needed to verify the right writing of the part program for a CN milling machine in the intent of saving time, human resources and money. This is obtained through the Boolean operation among solids, in AutoCAD environment, of the volume covered by the tool during the operations ruled by the part program. # 2001 Published by Elsevier Science B.V.
Keywords: CNC machines; AutoCAD; Part program