Searched refs:FormatOverflowIRQ (Results 1 – 2 of 2) sorted by relevance
27 FormatOverflowIRQ = new GPIO(); in OpenTitan_I2C()358 public GPIO FormatOverflowIRQ { get; } property in Antmicro.Renode.Peripherals.I2C.OpenTitan_I2C379 … FormatOverflowIRQ.Set(formatOverflowInterruptState.Value && formatOverflowInterruptEnable.Value); in UpdateInterrupts()
114 Assert.AreEqual(true, peripheral.FormatOverflowIRQ.IsSet, "IRQ not set"); in ShouldSetExceptionOnOverflow()
