@User: Right; there are no specific device models for junction-isolated FETs. You draw a deep nwell underneath, and it extracts as the usual device but with the bulk connection to the isolated p-well.