Properties of Real-World Digital Logic Diagrams | IEEE Conference Publication | IEEE Xplore