The verification automaton and the algorithm for abstracting critical path are proposed to verify high level synthesis process automatically.
为了便于自动验证高层综合过程，给出了验证自动机模型。
The verification automaton and the algorithm for abstracting critical path are proposed to verify high level synthesis process automatically.
为了便于自动验证高层综合过程，给出了验证自动机模型。
应用推荐