Currently these models aim at modelling the peripherals of a nRF52833 SOC at varying degrees:
- ✓ NVMC — Non-volatile memory controller
- See NRF_NVMC.c
- ✓ FICR — Factory information configuration registers
- See NRF_FICR.c
- ✓ UICR — User information configuration registers
- See NRF_NVMC.c
- 𐄂 POWER — Power supply
- Only register stubs
- ✓ CLOCK — Clock control
- See NRF_CLOCK.c
- ✓ AAR — Accelerated address resolver
- See NRF_AAR.c
- 𐄂 ACL — Access control lists
- Not modelled yet
- ✓ CCM — AES CCM mode encryption
- See NRF_AES_CCM.c
- 𐄂 COMP — Comparator
- Not modelled yet
- ✔ ECB — AES electronic codebook mode encryption
- Complete
- ✔ EGU — Event generator unit
- Complete
- ✓ GPIO — General purpose input/output
- See NRF_GPIO.c
- ✔ GPIOTE — GPIO tasks and events
- Complete with very minor differences
- See NRF_GPIOTE.c
- 𐄂 I2S — Inter-IC sound interface
- Not modelled yet
- 𐄂 LPCOMP — Low-power comparator
- Not modelled yet
- 𐄂 MWU — Memory watch unit
- Not modelled yet
- 𐄂 NFCT — Near field communication tag
- Not modelled yet
- 𐄂 PDM — Pulse density modulation interface
- Not modelled yet
- ✔ PPI — Programmable peripheral interconnect
- Complete but some peripheral connections are missing
- 𐄂 PWM — Pulse width modulation
- Not modelled yet
- 𐄂 QDEC — Quadrature decoder
- Not modelled yet
- ✓ RADIO — 2.4 GHz radio
- See NRF_RADIO.c
- ✓ RNG — Random number generator
- See NRF_RNG.c
- ✓ RTC — Real-time counter
- See NRF_RTC.c
- 𐄂 SAADC — Successive approximation analog-to-digital converter
- Not modelled yet
- 𐄂 SPI — Serial peripheral interface master
- Not modelled yet
- 𐄂 SPIM — Serial peripheral interface master with EasyDMA
- Not modelled yet
- 𐄂 SPIS — Serial peripheral interface slave with EasyDMA
- Not modelled yet
- ✔ SWI — Software interrupts
- See EGU
- ✓ TEMP — Temperature sensor
- See NRF_TEMP.c
- 𐄂 TWI — I2C compatible two-wire interface
- Not modelled yet
- ✔ TIMER — Timer/counter
- Complete
- 𐄂 TWIM — I2C compatible two-wire interface master with EasyDMA
- Not modelled yet
- 𐄂 TWIS — I2C compatible two-wire interface slave with EasyDMA
- Not modelled yet
- 𐄂 UART — Universal asynchronous receiver/transmitter
- Not modelled yet
- 𐄂 UARTE — Universal asynchronous receiver/transmitter with EasyDMA
- Not modelled yet
- 𐄂 USBD — Universal serial bus device
- Not modelled yet
- 𐄂 WDT — Watchdog timer
- Not modelled yet
ARM processor peripherals or the AHB interconnect are not part of these models