The nMigen documentation