RT CW A1 Weng, Yu T1 Tools for design, implementation and verification of emerging information technologies : 15th EAI International Conference, TridentCom 2020, virtual event, November 13, 2020, proceedings