<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>Hi All,</p>
    <p>We'd had some discussions about a machine readable form of the
      ISA previously.</p>
    <p>My -recollection- was that the folk involved were favourably
      disposed towards doing this in at least some form, but lemme go
      back and see if I can't restart that conversation.</p>
    <p>Cheers,<br>
      Hugh</p>
    <p><br>
    </p>
    <div class="moz-cite-prefix">On 27/3/20 10:05 am, Hugo Landau wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:20200326230545.GA7670@axminster">
      <blockquote type="cite">
        <pre class="moz-quote-pre" wrap="">which reminds me: is the source code of the Power ISA Tech Ref Manuals
available, and would it happen to be in latex?  if so, it would be a
*lot* easier to write a program that parses the latex source code than
it would have been for me to manually cut/paste tables from an xpdf
view of the V2.07B and V3.0B PDFs.
</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">
The manual is created using FrameMaker, a proprietary typesetting
system. AFAIK, the input is an XML file which has never been published.
Having it would be quite useful.

[1] is an example of a project using this XML file to derive a
machine-readable specification, as noted in the diagram in the project's
README. They don't mention their source for the XML file nor do they
publish it, so I assume this must have been provided confidentially to
them by IBM. Perhaps contacting the project authors would provide some
leads?

[1] <a class="moz-txt-link-freetext" href="https://github.com/rems-project/sail">https://github.com/rems-project/sail</a>
_______________________________________________
OpenPOWER-HDL-Cores mailing list
<a class="moz-txt-link-abbreviated" href="mailto:OpenPOWER-HDL-Cores@mailinglist.openpowerfoundation.org">OpenPOWER-HDL-Cores@mailinglist.openpowerfoundation.org</a>
<a class="moz-txt-link-freetext" href="http://lists.mailinglist.openpowerfoundation.org/mailman/listinfo/openpower-hdl-cores">http://lists.mailinglist.openpowerfoundation.org/mailman/listinfo/openpower-hdl-cores</a>
</pre>
    </blockquote>
    <pre class="moz-signature" cols="72">-- 
Hugh Blemings
Executive Director, OpenPOWER Foundation
<a class="moz-txt-link-freetext" href="http://openpowerfoundation.org">http://openpowerfoundation.org</a>
</pre>
  </body>
</html>