1) group out
成组输出
2) block I/O
成组输入输出
3) block I /o instruction
成组输入输出指令
4) channel I / O burst operation (CHIO burst operation )
通道输入输出成组操作
6) 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.
对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题。
补充资料：计算机输入/输出控制系统(见计算机输入/输出系统)
计算机输入/输出控制系统(见计算机输入/输出系统)
computer input/output control system
iisuanii shuru/shuehu kongzhi xitong计算机输入/输出控制系统(com-puter inPut/ou中ut eontrol system)见计算机输入/输出系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条