abstract digital circuit background