Livt.Bus

tests/generic/GenericWishbone32Test.lvt

namespace Livt.Bus.Tests.Generic

using Livt.Bus.Wishbone.Testing

/**
 * Native-width transfers, high address/data bits, byte lanes, errors and recovery.
 */
@Test
component GenericWishbone32Test
{
	const LANES: int = 32 / 8
	master: WishboneTestMaster
	target: WishboneTestSlave

	new()
	{
		this.master = new WishboneTestMaster()
		this.target = new WishboneTestSlave(this.master)
	}

	@Test
	fn NativeTransfersAndRecovery()
	{
		target.Clear()
		target.ConfigureAckDelay(2 as uint)
		master.SetTimeoutTicks(100 as uint)
		var address = (1 as Logic[32]) << 4
		var value = ((0xA5 as Logic[32]) << 24) | (0x1234 as Logic[32])
		var expected = ((0xBC as Logic[32]) << 24) | (0x1234 as Logic[32])
		master.WriteWord(address, value)
		master.VerifyWord(address, value)
		assert target.observedAddress == address
		assert target.acceptedWrites == (1 as uint)
		master.Write8(address | (3 as Logic[32]), 0xBC as byte)
		master.VerifyWord(address, expected)
		assert target.acceptedWrites == (2 as uint)
		assert master.Read8(address | (3 as Logic[32])) == (0xBC as byte)
		master.WriteMaskedWord(address, ~(0 as Logic[32]), 0 as Logic[LANES])
		master.VerifyWord(address, expected)
		assert target.acceptedWrites == (3 as uint)

		assert master.LastTimedOut() == false
		target.ConfigureAckDelay(10 as uint)
		master.SetTimeoutTicks(2 as uint)
		assert master.TryRead(address) == false
		assert master.LastTimedOut() == true
		Simulation.Wait(20)
		target.ConfigureAckDelay(2 as uint)
		master.SetTimeoutTicks(100 as uint)
		master.VerifyWord(address, expected)
	}
}