Computer-aided-design platform for sequential systems | IEEE Conference Publication | IEEE Xplore