Semantics; Grammar; Syntactics; Natural languages; Clocks; Hardware; Connectors;
机译:一种用于组成规范和有限状态硬件控制器验证的语言
机译:从UML类图生成自然语言规范
机译:用于可逆硬件描述语言设计的自动化方法和检查控制逻辑
机译:受控自然语言框架,用于从硬件规格生成断言
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:使用量子硬件描述语言规范光子电路
机译:attempto - 从受控自然语言的规范到 可执行规范