Wang-Cai Li

UCT: A Versatile Code Translation Framework Based on a Unified Intermediate Representation

Model-driven design often requires the same model to support multiple downstream tasks, such as simulation, testing, verification, and deployment. However, existing tools usually build separate translation workflows for different tasks, causing repeated model parsing, redundant semantic reconstruction, and limited reus...