next up previous index
Next: Orangepath Synthesis Engines Up: SPL Orangepath H2 Language Previous: SSMG Refinement Algorithm   Index


Transactor Synthesis

The command line flag -xtor invokes the transactor synthesis refinement algorithm. There are some example on the web site.

TODO: describe it more.



David Greaves 2009-08-20