How is this different than liberty? It also seems that it isn't specified yet, but just a concept that is proposed?

This format is intermediary for many digital and ams flows to create models, correlations, verifications amount other things