Formal Description of Possible Input Logical Signal Data Sequences for Digital Systems and Their Blocks | IEEE Conference Publication | IEEE Xplore