PTLsim

PTLsim comes complete with a comprehensive PTLsim User's Guide and Reference. The following topics are covered in this manual:

• Getting Started with PTLsim
• x86 and x86-64 Instruction Set
• Using PTLsim Classic (userspace only)
• Using PTLsim/X (full system simulation)
• Out Of Order Superscalar Processor Model
• PTLsim internal micro-op (uop) reference
• Performance Counters

Additionally, the PTLsim source code contains extensive comments derived from the text of the user's guide.

Available Formats

The PTLsim User's Guide and Reference is available in several formats:

• PDF Format
  This 200-page book is available as a hyperlinked PDF file. This is the recommended format since all tables and formatting are in tact.
• 
  
• HTML Web Pages
  The manual is divided up into chapters on separate web pages. Be advised that some tables may not be correctly formatted in the HTML version; refer to the PDF in this case.
• 
  
• Sources: LaTeX or LyX
  The manual was typeset in LaTeX format (using LyX); this is the preferred format for updating the manual or reformatting it. The HTML version can be generated using LaTeX2HTML.

Please report any problems with the documentation to the author,

Cross-Referenced Source Code

We maintain a cross-referenced LXR source code repository for your browsing convenience.

License

The PTLsim documentation is licensed under the GNU General Public License, just like PTLsim. This means that if you distribute changes to the documentation, you must also make the modified source (LaTex or preferably LyX format) available.