单片机
★一、版权：具有正版授权证明，提供实验室授权挂牌。
★二、配置：50用户局域网网络版Proteus VSM for 8051 and ASF；
三、智能原理图设计：
1、丰富的器件库：超过45000种元器件，可方便地创建新元件；
2、智能的器件搜索：通过模糊搜索可以快速定位所需要的器件；
3、智能化的连线功能：自动连线功能使连接导线简单快捷，大大缩短绘图时间；
4、支持总线结构：使用总线器件和总线布线使电路设计简明清晰；
5、可输出高质量图纸：通过个性化设置，可以生成印刷质量的BMP图纸，可以方便地供WORD、POWERPOINT等多种文档使用。
四、ProSPICE混合仿真：
1、基于工业标准SPICE3F5，实现数字/模拟电路的混合仿真；
2、超过35000个仿真器件：可以通过内部原型或使用厂家的SPICE文件自行设计仿真器件，厂商不断地发布新的仿真器件，还可导入第三方发布的仿真器件；
五、信号源：
包含直流电压源、正弦波发生器、脉冲发生器、指数脉冲发生器、单频率调频波信号发生器、任意分段线性脉冲信号发生器、文件信号发生器、音频信号发生器、稳态逻辑电平发生器、单边沿信号发生器、单周期数字脉冲发生器、数字时钟信号发生器、模式信号发生器、可编程信号源14种激励源。
六、虚拟仪器：
包含13种虚拟仪器，面板操作逼真，如虚拟示波器、逻辑分析仪、计数/定时器、虚拟终端、信号发生器、模式发生器、交直流电压表和电流表、调试器、I2C调试器、USB调试器。
七、生动的仿真显示：
用色点显示引脚的数字电平，导线以不同颜色表示其对地电压大小，结合动态器件（如电机、显示器件、按钮）的使用可以使仿真更加直观、生动；
八、高级图形仿真功能：
基于图标的分析可以精确分析电路的多项指标，包括工作点、瞬态特性、频率特性、传输特性、噪声、失真、傅立叶频谱分析等，还可以进行一致性分析；
九、8051模块仿真功能特性：
1、处理器模型库：Generic 80C31, 80C32, 80C51, 80C52, 80C54 and 80C58/Atmel AT89C51,AT89C52 and AT89C55/Atmel AT89C51RB2, AT89C51RC2 and AT89C51RD2 (the the X2 mode and SPI are not modelled.)/Philips P87C51FX, P87C51RX+(i.e. FA，FB，FC，RA+, RB+, RC+，RD)。
2、支持全部 8051指令系统和SFRs
3、所有IO操作/所有片上外设的各种操作模式，包括 timers、UART
4、所有中断模式/内部产生处理器时钟以优化经济结构性能，I/O和其它事件定时器精确至一个时钟相位
5、程序和外部数据存储器能被仿真为内部模型，以提高吞吐量，或仿真为外部模型以验证硬件设计
6、提供内部一致性代码检查功能/完整集成ISIS的源码级调试和源码管理系统
7、支持集成Keil等第三方编译器和调试器。支持的编译器：Keil C51/µVision 2/IAR。
微机原理
二、配置：Proteus VSM for 8086（附加）/50用户 局域网络版。
三、可支持的处理器模型：8086
★Proteus VSM 8086是Intel 8086处理器的指令和总线周期仿真模型。它能通过总线驱动器和多路输出选择器电路连接RAM和ROM及不同的外围控制器。目前的模型能仿真最小模式中的所有的总线信号和器件的操作时序，但是对最大模式的支持还没有实现。
此外，因为内部存储区域能被定义，所以外部总线行为的仿真不需要编程获取和数据存储读/写的操作。
★具有以下模型特点：
全部指令和寄存器；
支持所有总线、内存和其它I/O引脚操作；
所有中断模式；
内建处理器时钟，使事件定时精确到一个时钟周期；
提供内在代码的一致性检查（例如不正确操作码的执行，不合规定的存储器访问，堆栈溢出检查等）
完整地集成进VSM源码级调试系统。
★可支持的汇编程序和编译器
MASM32; Borland Turbo Assembler (TASM);DigitalMars C++ Compiler;Microsoft C/C++ Compiler 7.00;Borland C++ Compiler for Windows 5.02。
嵌入式
一、版权：具有正版授权证明。
二、配置：Proteus VSM for Cortex-M3（附加）/50用户 局域网络版。
三、可支持的处理器模型：
LM3S300，LM3S301，LM3S308，LM3S310，LM3S315，LM3S316，LM3S317， LM3S328；
LPC1311FHN33，LPC1313FHN33，LPC1313FBD48，LPC1L342FHN33，LPC1342FBD48, LPC1343FHN33,LPC1343FBD48.ATSAM3N0A,ATSAM3NOB,ATSAM3NOC,ATSAM3N1A,ATSAM3N1B, ATSAM3N1C, ATSAM3N2A, ATSAM3N2B, ATSAM3N2C, ATSAM3N4A, ATSAM3N4B, ATSAM3N4C, ATSAM3N00A, ATSAM3N00B, STM32F103C4, STM32F103R4, STM32F103T4, STM32F103C6, STM32F103R6, STM32F103T6;
处理器模型具有以下特点：
支持内部全部指令集,但不支持多核操作：
支持所有口操作和I/O引脚操作；
支持睡眠和深度睡眠模式；
支持看门狗时钟；支持所有模式定时器；
支持串行通讯口，支持FIFO模式的UART；
支持SSI、I2C、模拟比较器；
支持多输入通道ADC和内部温度传感器；
支持所有中断模式；
内部产生处理器时钟，事情定时可精确至一个时钟周期；
支持代码和数据闪存，包括Cortex M3的区域保护功能；
支持内部一致性代码检查功能；
集成进VSM源码级调试和源码管理系统；
集成进Proteus诊断控制系统。
可支持的编译器：
IAR EWARM、GNU ARM、KEIL MDK
