ACM code generator / News: Recent posts

.deb available for 1.2

The .deb file for ACMgen 1.2 was finally released. Good look folks, and sorry for the delay.

Posted by Kyller Costa Gorgônio 2008-03-10

release 1.2 note

Due to some technical problems, the release 1.2 is available only at the repository. I'm working to make a package available soon (ftp is closed from were I'm now).

Posted by Kyller Costa Gorgônio 2008-02-18

ACMgen 1.2

In this release we have included a new generator for verilog code. On the old machine the RRBB, OWBB and OWRRBB policies were supported. However, besides the fact the that code could be simulated, the hardware synthesis of was not feasible.

On this new version, only the RRBB policy is supported. Simulation has been performed for a number of different sizes (from 3 to 9) and in all cases freshness and coherence properties were performed.... read more

Posted by Kyller Costa Gorgônio 2008-02-18

new version numbering schema

Since 2007, the numbering schema of ACMgen was based on the Ubuntu style. I just decided the this was rubbish, and it was an error to do it. So, the ACMgen team (i.e. myself, for now) decided to go back to the old style. And preparin to release version 1.2.

Posted by Kyller Costa Gorgônio 2008-02-18