Synthesis of Synchronous Finite State Machines Operating on Both-Levels of the Clock Using Transparent Latches | IEEE Conference Publication | IEEE Xplore