- Home
- People
- Projects
- Practical Security Verification
- Secure Cloud Computing
- Security of AI Systems
- Deep Learning for Security
- Smartphone Security
- Cache Side-Channels and Secure Caches
- De-anonymization
- Running Unvetted Programs
- Secure RISC-V processor
- SP and Bastion Secure Processor Architectures
- Crypto Acceleration
- OpenSPARC Researh
- SecureCore
- Advanced Bit Manipulation
- PAX
- PLX
- Publications
- Research
- Conference and Journals
- Project Archive
- Photos
PLX Documentation and Downloads
PLX 1.2
This is the current development version of PLX and therefore it is not yet publicly available. PLX developers can login to access these documents with their download password. Please fill out this form and email to rblee@princeton.edu to obtain a password.
For a quick comparison of PLX versions, see this file
The architecture documentation is divided into two parts: (1) ISA reference describing the instructions and general features of PLX, and (2) ISA encoding describing how the PLX instructions map to 32-bit instruction words.
Architecture
Toolset
Not available yet.
Other
A preliminary version of the encoding of PLX floating-point instructions. Floating-point support is planned to be included in the next version of PLX. This encoding is subject to change.
PLX 1.1
Architecture
Toolset
PLX 1.0
Architecture
Toolset
PLX 1.0 was released as an ISA specification only and had no accompanying software tools.