Logal: a CHDL for Logic Design and Synthesis of Computers | IEEE Journals & Magazine | IEEE Xplore