pin_group.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 "hal_core/defines.h"
#include "hal_core/netlist/gate_library/enums/pin_direction.h"
#include "hal_core/netlist/gate_library/enums/pin_type.h"
#include "hal_core/utilities/log.h"
#include "hal_core/utilities/result.h"
 
#include <list>
#include <string>
#include <unordered_map>
#include <vector>
 
namespace hal
{
    class Module;
    class GateType;
 
    template<class T>
    class PinGroup
    {
    public:
        PinGroup(const u32 id, const std::string& name, PinDirection direction, PinType type, bool ascending = true, u32 start_index = 0, bool ordered = false)
            : m_id(id), m_name(name), m_direction(direction), m_type(type), m_ascending(ascending), m_start_index(start_index), m_next_index(start_index), m_ordered(ordered)
        {
        }
 
        ~PinGroup() = default;
 
        bool operator==(const PinGroup<T>& other) const
        {
            if (m_id != other.get_id() || m_name != other.get_name() || m_direction != other.get_direction() || m_type != other.get_type() || m_start_index != other.get_start_index()
                || m_ascending != other.is_ascending() || m_ordered != other.is_ordered())
            {
                return false;
            }
 
            std::vector<T*> other_pins = other.get_pins();
            if (m_pins.size() != other_pins.size())
            {
                return false;
            }
 
            auto this_it  = m_pins.begin();
            auto other_it = other_pins.begin();
            while (this_it != m_pins.end() && other_it != other_pins.end())
            {
                if (**this_it++ != **other_it++)
                {
                    return false;
                }
            }
 
            return true;
        }
 
        bool operator!=(const PinGroup<T>& other) const
        {
            return !operator==(other);
        }
 
        ssize_t get_hash() const
        {
            return (uintptr_t)this;
        }
 
        u32 get_id() const
        {
            return m_id;
        }
 
        void set_name(const std::string& name)
        {
            m_name = name;
        }
 
        const std::string& get_name() const
        {
            return m_name;
        }
 
        void set_type(PinType type)
        {
            m_type = type;
        }
 
        PinType get_type() const
        {
            return m_type;
        }
 
        void set_direction(PinDirection direction)
        {
            m_direction = direction;
        }
 
        PinDirection get_direction() const
        {
            return m_direction;
        }
 
        std::vector<T*> get_pins(const std::function<bool(T*)>& filter = nullptr) const
        {
            if (!filter)
            {
                return std::vector<T*>(m_pins.begin(), m_pins.end());
            }
            else
            {
                std::vector<T*> res;
                for (T* pin : m_pins)
                {
                    if (filter(pin))
                    {
                        res.push_back(pin);
                    }
                }
                return res;
            }
        }
 
        Result<T*> get_pin_at_index(i32 index) const
        {
            if (m_ascending)
            {
                if (index >= m_start_index && index < m_next_index)
                {
                    auto it = m_pins.begin();
                    std::advance(it, index - m_start_index);
                    return OK(*it);
                }
            }
            else
            {
                if (index <= m_start_index && index > m_next_index)
                {
                    auto it = m_pins.begin();
                    std::advance(it, m_start_index - index);
                    return OK(*it);
                }
            }
 
            return ERR("no pin exists at index " + std::to_string(index) + " within pin group '" + m_name + "'");
        }
 
        Result<i32> get_index(const T* pin) const
        {
            if (pin == nullptr)
            {
                return ERR("'nullptr' provided as pin when trying to retrieve index within pin group '" + m_name + "' with ID " + std::to_string(m_id));
            }
 
            if (pin->m_group.first != this)
            {
                return ERR("provided pin '" + pin->get_name() + "' does not belong to pin group '" + m_name + "'");
            }
 
            return OK(pin->m_group.second);
        }
 
        bool is_ascending() const
        {
            return m_ascending;
        }
 
        i32 get_start_index() const
        {
            return m_start_index;
        }
 
        bool is_ordered() const
        {
            return m_ordered;
        }
 
        void set_ordered(bool ordered = true)
        {
            m_ordered = ordered;
        }
 
        bool empty() const
        {
            return m_pins.empty();
        }
 
        size_t size() const
        {
            return m_pins.size();
        }
 
        bool assign_pin(T* pin)
        {
            if (pin == nullptr)
            {
                log_warning("pin_group", "'nullptr' given instead of a pin when trying to assign a pin to pin group '{}' with ID {}", m_name, m_id);
                return false;
            }
 
            i32 index = 0;
            if (m_ascending)
            {
                index = m_next_index++;
                m_pins.push_back(pin);
            }
            else
            {
                if (m_start_index == m_next_index)
                {
                    // special case empty pin group
                    index = m_start_index;
                    --m_next_index;
                }
                else
                {
                    index = ++m_start_index;
                }
                m_pins.push_front(pin);
            }
            pin->m_group = std::make_pair(this, index);
            return true;
        }
 
        Result<std::monostate> move_pin(T* pin, i32 new_index)
        {
            if (pin == nullptr)
            {
                return ERR("'nullptr' given instead of a pin when trying to move pin within pin group '" + m_name + "' with ID " + std::to_string(m_id));
            }
 
            if (pin->m_group.first != this)
            {
                return ERR("pin '" + pin->get_name() + "' with ID " + std::to_string(pin->get_id()) + " does not belong to pin group '" + m_name + "' with ID " + std::to_string(m_id));
            }
 
            if (m_ascending && new_index >= m_start_index && new_index < m_next_index)
            {
                i32 old_index = pin->m_group.second;
                if (old_index == new_index)
                {
                    return OK({});
                }
 
                i32 direction = (old_index > new_index) ? 1 : -1;
 
                // move pin within vector
                m_pins.erase(std::next(m_pins.begin(), old_index - m_start_index));
                auto it = std::next(m_pins.begin(), new_index - m_start_index);
                it      = m_pins.insert(it, pin);
 
                // update indices; 'it' now points to inserted pin
                for (i32 i = new_index; i != old_index; i += direction)
                {
                    std::advance(it, direction);
                    std::get<1>((*it)->m_group) += direction;
                }
                std::get<1>(pin->m_group) = new_index;
            }
            else if (!m_ascending && new_index <= m_start_index && new_index > m_next_index)
            {
                i32 old_index = pin->m_group.second;
                if (old_index == new_index)
                {
                    return OK({});
                }
 
                i32 direction = (old_index < new_index) ? 1 : -1;
 
                // move pin within vector
                m_pins.erase(std::next(m_pins.begin(), m_start_index - old_index));
                auto it = std::next(m_pins.begin(), m_start_index - new_index);
                it      = m_pins.insert(it, pin);
 
                // update indices; 'it' now points to inserted pin
                for (i32 i = new_index; i != old_index; i -= direction)
                {
                    std::advance(it, direction);
                    std::get<1>((*it)->m_group) -= direction;
                }
                std::get<1>(pin->m_group) = new_index;
            }
            else
            {
                return ERR("new index (" + std::to_string(new_index) + ") for pin '" + pin->get_name() + "' with ID " + std::to_string(pin->get_id()) + " is not between start index ("
                           + std::to_string(m_start_index) + ") and end index(" + std::to_string(m_next_index - 1) + ") of pin group '" + m_name + "' with ID " + std::to_string(m_id));
            }
 
            return OK({});
        }
 
        bool remove_pin(T* pin)
        {
            if (pin == nullptr)
            {
                log_warning("pin_group", "'nullptr' given instead of a pin when trying to remove pin from pin group '{}' with ID {}.", m_name, m_id);
                return false;
            }
 
            if (pin->m_group.first != this)
            {
                log_warning("pin_group", "pin '{}' with ID {} does not belong to pin group '{}' with ID {}.", pin->get_name(), pin->get_id(), m_name, m_id);
                return false;
            }
 
            i32 index    = pin->m_group.second;
            pin->m_group = std::make_pair(nullptr, 0);
            if (m_ascending)
            {
                auto it = std::next(m_pins.begin(), index - m_start_index);
                it      = m_pins.erase(it);
                for (; it != m_pins.end(); it++)
                {
                    std::get<1>((*it)->m_group)--;
                }
                m_next_index--;
            }
            else
            {
                if (m_pins.size() == 1)
                {
                    m_pins.clear();
                    m_next_index++;
                }
                else
                {
                    auto it = m_pins.begin();
                    for (int i = m_start_index; i > index; i--)
                    {
                        std::get<1>((*(it++))->m_group)--;
                    }
                    m_pins.erase(it);
                    --m_start_index;
                }
            }
 
            return true;
        }
 
        bool contains_pin(T* pin)
        {
            if (pin == nullptr)
            {
                return false;
            }
 
            if (pin->m_group.first != this)
            {
                return false;
            }
 
            return true;
        }
 
    private:
        u32 m_id;
        std::string m_name;
        PinDirection m_direction;
        PinType m_type;
        std::list<T*> m_pins;
        bool m_ascending;
        i32 m_start_index;
        i32 m_next_index;
        bool m_ordered;
 
        PinGroup(const PinGroup&)            = delete;
        PinGroup(PinGroup&&)                 = delete;
        PinGroup& operator=(const PinGroup&) = delete;
        PinGroup& operator=(PinGroup&&)      = delete;
    };
}    // namespace hal