Formal Verification of Sequential Circuits

英 美
  • 时序电路的形式化证明
  • circuits n.电路名词circuit的复数形式.
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • of prep.关于;...的(表所属);出身于;由于
  • sequential adj.连续的(序贯的)
  • verification n.确认;查证;作证