A Design Automation System for Electronic Switching Systems | IEEE Conference Publication | IEEE Xplore