Version associated with the ACM TACO Journal paper

Initial release of MIAOW code

Known Issues:

1. LSU-Memory bus width is impractical for FPGA mapping
2. Some of the unit tests are broken
3. veriperl.pl script does not have execute permissions