hades.models.rtlib.register
Classes 
CounterRE
Latch
LatchR
LFSR
Reg
RegE
RegR
RegRE
RegWithInitialValue
ShiftRegR