1) output speed
输出数组
2) multi output combinational logic function
多输出组合逻辑函数
3) isolated digital output module
隔离数字输出组件
4) byte array output stream class
字节数组输出流类
5) output grouping
输出分组
1.
By the algorithm,a heuristic is used to do output grouping for complex problem first,then the equivalence checking problem is converted into some Circuit SAT problems.
对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题。
6) group out
成组输出
补充资料：计算机输入/输出控制系统(见计算机输入/输出系统)
计算机输入/输出控制系统(见计算机输入/输出系统)
computer input/output control system
iisuanii shuru/shuehu kongzhi xitong计算机输入/输出控制系统(com-puter inPut/ou中ut eontrol system)见计算机输入/输出系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条