| 2014-06-27 11:04:25 |
Danil Sokolov |
description |
we need to change default behaviour for set and reset functions on the function contacts and circuit ports
- when both functions age given, generate accodrdingly
- when only set function is given - generate reset logic as a negation from the set function
- when neither function is provided, assume they have unrestricted behaviour (possibly, this behaviour will be restricted later by parallel composition with environment STG) |
we need to change default behaviour for set and reset functions on the function contacts and circuit ports
- when both functions age given, generate accodrdingly
- when only set function is given - generate reset logic as a negation from the set function
- when only reset function is given - generate set logic as a negation from the reset function
- when neither function is provided, assume they have unrestricted behaviour
(possibly, this behaviour will be restricted later by parallel composition with environment STG) |
|
