Property IR documentationΒΆ Contents Introduction General Concept Embedding in Yosys Syntax Expressions Statements Types Literal types Expression types Primitives Boolean Expression Clocked Sequence Clocked Property Simple Sequence Simple Property SVA Table Declarations Assertions Clock Control Boolean Operations Sequence Operations Property Operations