The Synthesis and Analysis of Digital Systems by Boolean Matrices | IEEE Journals & Magazine | IEEE Xplore