Concurrent logic programming as a hardware description tool | IEEE Journals & Magazine | IEEE Xplore