Abstract: The authors propose a general synthesis method for efficiently implementing any family of Boolean functions over a set of variables, as a self-timed logic module. Interval temporal logic is ...

For a more in depth introduction on how to use this plugin, check out this post on the Serverless Blog If you're on a mac, check out these notes about using python installed by brew.