Subversion Repositories s80186

// Copyright Jamie Iles, 2017

//

// This file is part of s80x86.

//

// s80x86 is free software: you can redistribute it and/or modify

// it under the terms of the GNU General Public License as published by

// the Free Software Foundation, either version 3 of the License, or

// (at your option) any later version.

//

// s80x86 is distributed in the hope that it will be useful,

// but WITHOUT ANY WARRANTY; without even the implied warranty of

// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

// GNU General Public License for more details.

//

// You should have received a copy of the GNU General Public License

// along with s80x86.  If not, see <http://www.gnu.org/licenses/>.

#include <gtest/gtest.h>

#include <VCSIPSync.h>

#include "VerilogTestbench.h"

class CSIPSyncTestFixture : public VerilogTestbench<VCSIPSync>,

                            public ::testing::Test

{

public:

    CSIPSyncTestFixture();

protected:

    void update_ip(uint16_t newip);

    void update_cs();

    void propagate();

    bool updated;

    uint16_t updated_ip;

};

CSIPSyncTestFixture::CSIPSyncTestFixture() : updated(false), updated_ip(true)

{

    reset();

    periodic(ClockCapture, [&] {

        if (this->dut.update_out) {

            this->updated = true;

            this->updated_ip = this->dut.ip_out;

        }

    });

}

void CSIPSyncTestFixture::update_ip(uint16_t newip)

{

    after_n_cycles(0, [&] {

        this->dut.new_ip = newip;

        this->dut.ip_update = 1;

        after_n_cycles(1, [&] {

            this->dut.ip_update = 0;

            this->dut.new_ip = 0;

        });

    });

    cycle(10);

}

void CSIPSyncTestFixture::update_cs()

{

    after_n_cycles(0, [&] {

        this->dut.cs_update = 1;

        after_n_cycles(1, [&] { this->dut.cs_update = 0; });

    });

    cycle(10);

}

void CSIPSyncTestFixture::propagate()

{

    after_n_cycles(0, [&] {

        this->dut.propagate = 1;

        after_n_cycles(1, [&] { this->dut.propagate = 0; });

    });

    cycle();

}

TEST_F(CSIPSyncTestFixture, NoChangeNoUpdate)

{

    propagate();

    ASSERT_FALSE(updated);

}

TEST_F(CSIPSyncTestFixture, IPPropagateDelayed)

{

    update_ip(0x1234);

    propagate();

    EXPECT_TRUE(updated);

    EXPECT_EQ(updated_ip, 0x1234);

    cycle();

}

TEST_F(CSIPSyncTestFixture, CSPropagateDelayed)

{

    update_cs();

    propagate();

    EXPECT_TRUE(updated);

    EXPECT_EQ(updated_ip, 0);

    cycle();

}

TEST_F(CSIPSyncTestFixture, SimultaneousUpdatePropagateDoesntLatch)

{

    after_n_cycles(0, [&] {

        this->dut.new_ip = 0xf00f;

        this->dut.propagate = 1;

        this->dut.ip_update = 1;

        after_n_cycles(1, [&] {

            this->dut.propagate = 0;

            this->dut.ip_in = 0x1001;

            this->dut.new_ip = 0x1001;

        });

    });

    cycle(1);

    ASSERT_EQ(this->dut.ip_out, 0xf00f);

    propagate();

    ASSERT_EQ(this->dut.ip_out, 0x1001);

}