[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New Book: CONCURRENCY
Denis Nicole wrote:
> > Someone in this community was working an an occam->SMV compiler,
> > I think. How did it go?
> It's me. The occam->SMV depends on the flattening in occam->PIC which is
> almost complete.
So, does it mean that I can compile occam with a new SPoC and have
it output (textual?) SMV and run a (share-ware?) SMV tool to test
occam->PIC - is that for the Microchip PIC-controller?
| Oyvind Teig | oyvind.teig@xxxxxxxxxxxx |
| Navia Maritime AS, division Autronica | oyvind.teig@xxxxxxxxxxxx |
| 7005 Trondhem | http://www.navia.no | Tel:+47 73 58 12 68 |
| Norway |http://www.autronica.no | Fax:+47 73 91 93 20 |