simulation_input.h

Go to the documentation of this file.

// MIT License
// 
// Copyright (c) 2019 Ruhr University Bochum, Chair for Embedded Security. All Rights reserved.
// Copyright (c) 2019 Marc Fyrbiak, Sebastian Wallat, Max Hoffmann ("ORIGINAL AUTHORS"). All rights reserved.
// Copyright (c) 2021 Max Planck Institute for Security and Privacy. All Rights reserved.
// Copyright (c) 2021 Jörn Langheinrich, Julian Speith, Nils Albartus, René Walendy, Simon Klix ("ORIGINAL AUTHORS"). All Rights reserved.
// 
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
// 
// The above copyright notice and this permission notice shall be included in all
// copies or substantial portions of the Software.
// 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
// SOFTWARE.
 
#pragma once
 
#include <vector>
#include <unordered_set>
#include <unordered_map>
#include "hal_core/defines.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/netlist/pins/module_pin.h"
#include "hal_core/netlist/pins/gate_pin.h"
#include "hal_core/netlist/pins/pin_group.h"
 
namespace hal {
    class Gate;
    class Net;
 
    class SimulationInputNetEvent : public std::unordered_map<const Net*,BooleanFunction::Value>
    {
        u64 mSimulationDuration;
    public:
        u64 get_simulation_duration() const { return mSimulationDuration; }
        void set_simulation_duration(u64 t) { mSimulationDuration = t; }
    };
 
    class SimulationInput {
 
    public:
        enum DirectionType { Undefined, InputOnly, OutputOnly, Mixed};
 
        struct Clock
        {
            const Net* clock_net;
            u64 switch_time;
            bool start_at_zero;
            u64 period() const { return switch_time * 2; }
        };
 
        struct NetGroup
        {
            DirectionType direction;
            const Gate* gate;
            PinGroup<ModulePin>* module_pin_group;
            PinGroup<GatePin>* gate_pin_group;
            bool ascending;
            NetGroup() : direction(Undefined), gate(nullptr), module_pin_group(nullptr), gate_pin_group(nullptr), ascending(false) {;}
            std::vector<const Net*> get_nets() const;
            std::string get_name() const;
            bool is_input() const { return direction == InputOnly; }
            bool is_output() const { return direction == OutputOnly; }
        };
 
    private:
        std::unordered_set<const Gate*> mSimulationSet;
        std::vector<Clock> m_clocks;
        std::vector<NetGroup> m_netgroups;
 
        std::unordered_set<const Net*> m_input_nets;
        std::vector<const Net*> m_output_nets;
        std::vector<const Net*> m_partial_nets;
 
        bool mNoClockUsed;
 
        void compute_input_nets();
        void compute_output_nets();
        void compute_partial_nets();
 
    public:
        SimulationInput() : mNoClockUsed(false) {;}
 
        bool is_ready() const;
 
        bool has_gates() const;
 
        bool contains_gate(const Gate* g) const;
 
        const std::unordered_set<const Gate*>& get_gates() const;
 
        const std::vector<Clock>& get_clocks() const { return m_clocks; }
 
        bool is_clock(const Net* n) const;
 
        void set_no_clock_used();
 
        bool is_no_clock_used() const;
 
        bool is_input_net(const Net* n) const;
 
        void add_clock(const Clock& clk);
 
        void add_gates(const std::vector<Gate*>& gates);
 
        void clear();
 
        const std::unordered_set<const Net*>& get_input_nets() const;
 
        const std::vector<const Net*>& get_output_nets() const;
 
        const std::vector<const Net*>& get_partial_netlist_nets() const;
 
        void dump(std::string filename = std::string()) const;
 
        void compute_net_groups();
 
        const std::vector<NetGroup>& get_net_groups() const { return m_netgroups; }
    };
}