Tools for Design, Implementation and Verification of Emerging Information TechnologiesYu Weng, Yuyu Yin, Li Kuang, Zijian Zhang₹4,202