Represent and manipulate Boolean functions (sets of states, state-transition relationships, ...)
Hardware Verification - Application of formal techniques to chip designs Jacob Abraham (July 7, 2001)