https://vlsiweb.com/register-abstraction-and-modeling/