Although we have tested the SADF tools on various examples, there may still be bugs. In case you find a bug, please report the problem by writing an email to B.D.Theelen @ tue.nl explaining exactly what happened when using which option on what SADF graph. The following bugs and issues have been reported before and the development of solutions is on our to-do list. Items marked ** have been corrected for the next release.
- We have identified a few bugs that will be fixed for the next update**
- (1 Jan 2010) The ability to obtain a simulation model through sdf3print-sadf --format poosl does not achieve a vaild POOSL model in case kernel/detector names contain non alphanumeric characters. Furthermore, the generated POOSL models are rather inefficient in terms of simulation speed
- (12 February 2008) The is_csdf option of the sdf3verify-sadf tool lacks a check on the properness of initial control tokens and hierarchical control relations
- (1 May 2007) The XML parser for SADF graphs does not yet fully support processes to which multiple control channels are connected
If you wish to contribute tools for SADF graphs and/or to improvements for the existing tools, please do so by writing an email to B.D.Theelen @ tue.nl.