kantrowitz造句

• Ieee design and test of computers , july - august 2001 , 18 : 36 - 45 . 12 kantrowitz m , noack l m . i m done simulation ; now what ? verification coverage analysis and correctness checking of the dec chip 21164 alpha microprocessor
  具体来说，一个变量v ，在某一时间帧t的控制-观测链，就是由所有在时间帧t ，对v的取值产生影响的赋值关系所形成的集合。