离散时间区间时序逻辑
discrete timed interval temporal logic
分支时间时序逻辑
branching-time temporal logic
有穷命题线性时序逻辑
finite propositioanl linear temporal logic
线性时序逻辑
linear temporal logic
Linear time temporal logic
Linear Temporal Logic LTL
同步时序逻辑电路
synchronous sequential logic circuits
时序逻辑综合
sequential logic synthesi
Sequential logic synthesis
时序逻辑控制
se quential log ic control
radio telemetry data transfor
时序逻辑规格
temporal logic specification
时序逻辑关系
temporal and logic relation
时序逻辑电路设计
design of sequential logic circuits
时序逻辑电路
sequential logic circuit
sequential logical circuit
linear sequence logic circuit
sequence logical circuit