Abstract Digital Circuit