2.7

Highlights

Version 2.7.5 introduces additive changes to the schema only. These updates extend the existing schema with new fields and definitions and do not modify or remove any existing schema elements.

AARCHMRS-5227: Update ASL1 implication and logical equivalence syntax

The syntax of the implication and logical equivalence has been updated in the BinaryOp schema to align with the latest ASL reference documentation as the following:

• Implication: --> becomes ==>
• Biconditional: <-> becomes <=>

For more details refer to Chapter 3 of ASLRef BET0.

AARCHMRS-5226: Change AST.Concat into an AST.BinaryOp operator (::)

In order to align more closely with the ASL Reference manual we have updated bit concatenation to an AST.BinaryOp operator.

AST.Concat will remain in use when specifying mulit-bit field accesses of the form REG.[F1,F2] and is planned for deprecation in a future version when a better model is made available.