XML / VHDL-Standard-Abdeckung

[Martin S. (strubi)]

Moin,

kennt jemand eine offene VHDL Test-Suite (abgesehen von Beacon, usw.), 
die möglichst alle wichtigen synthetisierbaren Konstrukte in VHDL-93 
oder später abdeckt?
Eine alte Version der vi_suite (vhdl.org) habe ich, aber eben: alt 
(schon rising_edge() ist nicht drin).

Der Hintergrund ist der, dass über GHDL über die neu-implementierte 
XML-Ausgabe erweiterte Analysen der RTL stattfinden können.
D.h. das Ziel ist eigentlich, ein XML-Schema (XSD) für die 
(intermediäre) RTL zu haben, womit grosse Teile von Code auf ihre 
Synthetisierbarkeit für Target X geprüft werden können. Für jede 
Variante dieser RTL hätte ich gerne einen Check gegen die "goldene 
Referenz".

Ideen?