Circuit Abstraction: Digital abstraction