书目详细信息 : In circuit emulation/80 operator‘s manual