Automatic gate-level synthesis of speed-independent circuits | IEEE Conference Publication | IEEE Xplore