The Device Modeling Language (DML) that we have used with Simics since 2005 is now available in open source! Some more details and examples of what DML looks like can be found in an Intel blog post.
Intel Blog: Open-Sourcing the Device Modeling Language