A Tool for Digital Circuits Synthesis Based on Notification Oriented Paradigm | IEEE Journals & Magazine | IEEE Xplore