A hardware design abstraction that describes digital circuits using registers and logical operations between them.