Comment 0 for bug 1335055
Revision history for this message
| Stan (sgaflv) wrote circuit STG generator rules | #0 |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
1b1ed1a
(Get the code!)
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)