An Integrated Logic Design Environment Based on Behavioral Description | IEEE Journals & Magazine | IEEE Xplore