Ivannikov A.D., Levchenko N.N., Romanova I.I. Formal Description of Possible Input Logical Signal Data Sequences for Digital Systems and Their Blocks. 2018 IEEE East-West Design & Test Symposium (EWDTS). Kazan, 2018. Page(s): 1-5. DOI:10.1109/EWDTS.2018.8524675.