Other tools ?
From: Luciano Lavagno (firstname.lastname@example.org)
There are also other people who arew working on developing such systems. You
may want to contact them as well (I have no precise information on
availability/capabilities of their tools):
From: Ruchir Puri (email@example.com)
- Tam-Anh Chu firstname.lastname@example.org
- Steve Nowick email@example.com
- Ken Stevens firstname.lastname@example.org
If You are utilizing FSM specifications, (like Ken)
then you might like to look at my paper on :
An Efficient Algo. for finding Minimal Closed Covers in FSMs.
Which will appear in the April issue of IEEE Transactions on CAD.
Right now I am working on the Modular Synthesis and am
incoroporating the Top Down and Bottom up Async Synthesis
from STGs. I have bits of code running but will still
take some time before the system is ready.
A set of tools called STETSON will be available.