第0章其他论题97 下载 产生的输出为 After first assignment, cool has value trobe is executed, cool h After second assignment, cool has valu 第一个$ display任务输出Cool的值1(Cool的第一个赋值)。第二个 Display任务输出 Cool的值2(Cool的第二个赋值)。 Strobe任务输出Cool的值2,这个值保持到时间步结 3.监控任务 监控任务有 Monitor Monitor Smoni torh Smonitoro 些任务连续监控指定的参数。只要参数表中的参数值发生变化,整个参数表就在时间 步结束时显示。例如 ⊥n⊥七ia monitor ("At t,d= sd, clk = sd") time, D, clk, ando is sb",9)i 当监控任务被执行时,对信号D、CIk和Ω的值进行监控。若这些值发生任何变化,则显 示整个参数表的值。下面是D、CIk和Q发生某些变化时的输出样本。 24, D= Clk=x and Q is O 25, D=x Clk= x and s is 1 30D=0 Clk=x and Q is 1 35 D=0 Clk= l and Q is 1 37, D=0 Clk =0 and S is 1 43,D=l Clk=o and Q is 1 监控任务的格式定义与显示任务相同。在任意时刻对于特定的变量只有一个监控任务 以被激活。 可以用如下两个系统任务打开和关闭监控 Smonitoroff;//禁止所有监控任务 monitory;//使能所有监控任务 这些提供了控制输出值变化的机制。$ monitor『任务关闭了所有的监控任务,因此不再 显示监控更多的信息。 Smonitoron任务用于使能所有的监控任务。 10.32文件输入输出任务 文件的打开和关闭 系统函数 Fopen用于打开一个文件 integer file pointer = fopen (file //系统函数 Fopen返回一个关于文件的整数(指针) 而下面的系统任务可用于关闭一个文件: fclose(file pointer): 这是一个关于它的用法的例子。 integer Iq File initial产生的输出为： After first assignment,Cool has value 1 When strobe is executed,Cool has value 2 After second assignment,Cool has value 2 第一个 $d i s p l a y任务输出 C o o l的值1（C o o l的第一个赋值）。第二个 $d i s p l a y任务输出 C o o l的值 2（C o o l的第二个赋值）。$s t ro b e任务输出 C o o l的值 2，这个值保持到时间步结 束。 3. 监控任务 监控任务有： $m o n i t o r $m o n i t o r b $m o n i t o r h $m o n i t o r o 这些任务连续监控指定的参数。只要参数表中的参数值发生变化，整个参数表就在时间 步结束时显示。例如： i n i t i a l $m o n i t o r ("At %t,D = %d, Clk = %d"), $t i m e, D , C l k，"and Q is %b",Q); 当监控任务被执行时，对信号 D、C l k和Q的值进行监控。若这些值发生任何变化，则显 示整个参数表的值。下面是 D、C l k和Q发生某些变化时的输出样本。 监控任务的格式定义与显示任务相同。在任意时刻对于特定的变量只有一个监控任务可 以被激活。 可以用如下两个系统任务打开和关闭监控。 $m o n i t o r o f f; //禁止所有监控任务。 $m o n i t o r o n; //使能所有监控任务。 这些提供了控制输出值变化的机制。 $m o n i t o ro ff任务关闭了所有的监控任务，因此不再 显示监控更多的信息。$m o n i t o ro n任务用于使能所有的监控任务。 10.3.2 文件输入/输出任务 1. 文件的打开和关闭 系统函数$f o p e n用于打开一个文件。 i n t e g e r f i l e _ p o i n t e r = $ f o p e n(f i l e _ n a m e)； / /系统函数$f o p e n返回一个关于文件的整数（指针）。 而下面的系统任务可用于关闭一个文件： $f c l o s e(f i l e _ p o i n t e r)； 这是一个关于它的用法的例子。 i n t e g e r T q _ F i l e； i n i t i a l 第10章 其 他 论 题 97 下载