add missing rule for kill/reset

John,

I realised the spec does not mention one rule for kill() and reset(). It is kind of implied, but should be explicitly mentioned.

If kill/reset is issued on a process that is already scheduled to run, the process shall be taken out of the runnable queue before the kill/reset action takes place.

Thanks,
-Bishnupriya

-------------------------------------------------------------------------------------------------------------------------------------
     Bishnupriya Bhattacharya | R&D - SystemC Simulation, Debug & Analysis | Cadence
     P: +91.80.4184.1197 www.cadence.com<http://www.cadence.com/>
-------------------------------------------------------------------------------------------------------------------------------------

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.