sc_signal.hh revision 13205
112841Sgabeblack@google.com/* 212841Sgabeblack@google.com * Copyright 2018 Google, Inc. 312841Sgabeblack@google.com * 412841Sgabeblack@google.com * Redistribution and use in source and binary forms, with or without 512841Sgabeblack@google.com * modification, are permitted provided that the following conditions are 612841Sgabeblack@google.com * met: redistributions of source code must retain the above copyright 712841Sgabeblack@google.com * notice, this list of conditions and the following disclaimer; 812841Sgabeblack@google.com * redistributions in binary form must reproduce the above copyright 912841Sgabeblack@google.com * notice, this list of conditions and the following disclaimer in the 1012841Sgabeblack@google.com * documentation and/or other materials provided with the distribution; 1112841Sgabeblack@google.com * neither the name of the copyright holders nor the names of its 1212841Sgabeblack@google.com * contributors may be used to endorse or promote products derived from 1312841Sgabeblack@google.com * this software without specific prior written permission. 1412841Sgabeblack@google.com * 1512841Sgabeblack@google.com * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 1612841Sgabeblack@google.com * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 1712841Sgabeblack@google.com * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 1812841Sgabeblack@google.com * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 1912841Sgabeblack@google.com * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 2012841Sgabeblack@google.com * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 2112841Sgabeblack@google.com * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2212841Sgabeblack@google.com * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2312841Sgabeblack@google.com * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2412841Sgabeblack@google.com * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 2512841Sgabeblack@google.com * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2612841Sgabeblack@google.com * 2712841Sgabeblack@google.com * Authors: Gabe Black 2812841Sgabeblack@google.com */ 2912841Sgabeblack@google.com 3012841Sgabeblack@google.com#ifndef __SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__ 3112841Sgabeblack@google.com#define __SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__ 3212841Sgabeblack@google.com 3312841Sgabeblack@google.com#include <iostream> 3412933Sgabeblack@google.com#include <string> 3512933Sgabeblack@google.com#include <vector> 3612841Sgabeblack@google.com 3712841Sgabeblack@google.com#include "../core/sc_event.hh" 3812841Sgabeblack@google.com#include "../core/sc_module.hh" // for sc_gen_unique_name 3912841Sgabeblack@google.com#include "../core/sc_prim.hh" 4012841Sgabeblack@google.com#include "../dt/bit/sc_logic.hh" 4112841Sgabeblack@google.com#include "sc_signal_inout_if.hh" 4212841Sgabeblack@google.com#include "warn_unimpl.hh" // for warn_unimpl 4312841Sgabeblack@google.com 4412841Sgabeblack@google.comnamespace sc_core 4512841Sgabeblack@google.com{ 4612933Sgabeblack@google.com 4712933Sgabeblack@google.comclass sc_port_base; 4812933Sgabeblack@google.comclass sc_trace_file; 4912933Sgabeblack@google.com 5012933Sgabeblack@google.com// Nonstandard 5112933Sgabeblack@google.com// Despite having a warning "FOR INTERNAL USE ONLY!" in all caps above this 5212933Sgabeblack@google.com// class definition in the Accellera implementation, it appears in their 5312933Sgabeblack@google.com// examples and test programs, and so we need to have it here as well. 5412933Sgabeblack@google.comstruct sc_trace_params 5512933Sgabeblack@google.com{ 5612933Sgabeblack@google.com sc_trace_file *tf; 5712933Sgabeblack@google.com std::string name; 5812933Sgabeblack@google.com 5912933Sgabeblack@google.com sc_trace_params(sc_trace_file *tf, const std::string &name) : 6012933Sgabeblack@google.com tf(tf), name(name) 6112933Sgabeblack@google.com {} 6212841Sgabeblack@google.com}; 6312841Sgabeblack@google.comtypedef std::vector<sc_trace_params *> sc_trace_params_vec; 6412841Sgabeblack@google.com 6512841Sgabeblack@google.comtemplate <class T, sc_writer_policy WRITER_POLICY=SC_ONE_WRITER> 6612841Sgabeblack@google.comclass sc_signal : public sc_signal_inout_if<T>, 6712841Sgabeblack@google.com public sc_prim_channel 6812841Sgabeblack@google.com{ 6912841Sgabeblack@google.com public: 7012841Sgabeblack@google.com sc_signal() : sc_signal_inout_if<T>(), 7112841Sgabeblack@google.com sc_prim_channel(sc_gen_unique_name("signal")), 7212841Sgabeblack@google.com m_cur_val(T()), m_new_val(T()), _changeStamp(~0ULL) 7312841Sgabeblack@google.com {} 7412912Sgabeblack@google.com explicit sc_signal(const char *name) : 7512912Sgabeblack@google.com sc_signal_inout_if<T>(), sc_prim_channel(name), 7612912Sgabeblack@google.com m_cur_val(T()), m_new_val(T()), _changeStamp(~0ULL) 7712912Sgabeblack@google.com {} 7812912Sgabeblack@google.com explicit sc_signal(const char *name, const T &initial_value) : 7912912Sgabeblack@google.com sc_signal_inout_if<T>(), sc_prim_channel(name), 8012841Sgabeblack@google.com m_cur_val(initial_value), m_new_val(initial_value), _changeStamp(~0ULL) 8112841Sgabeblack@google.com {} 8212841Sgabeblack@google.com virtual ~sc_signal() {} 8312841Sgabeblack@google.com 8412841Sgabeblack@google.com virtual void 8512841Sgabeblack@google.com register_port(sc_port_base &, const char *) 8612841Sgabeblack@google.com { 8712841Sgabeblack@google.com sc_channel_warn_unimpl(__PRETTY_FUNCTION__); 8812841Sgabeblack@google.com } 8912841Sgabeblack@google.com 9012841Sgabeblack@google.com virtual const T &read() const { return m_cur_val; } 9112841Sgabeblack@google.com operator const T&() const { return read(); } 9212841Sgabeblack@google.com 9312841Sgabeblack@google.com virtual sc_writer_policy 9412841Sgabeblack@google.com get_writer_policy() const 9512841Sgabeblack@google.com { 9612841Sgabeblack@google.com return WRITER_POLICY; 9712841Sgabeblack@google.com } 9812841Sgabeblack@google.com virtual void 9912841Sgabeblack@google.com write(const T &t) 10012841Sgabeblack@google.com { 10112841Sgabeblack@google.com m_new_val = t; 10212841Sgabeblack@google.com bool changed = !(m_cur_val == m_new_val); 10312841Sgabeblack@google.com //TODO check whether this write follows the write policy. 10412841Sgabeblack@google.com if (changed) 10512841Sgabeblack@google.com request_update(); 10612841Sgabeblack@google.com } 10712841Sgabeblack@google.com sc_signal<T, WRITER_POLICY> & 10812841Sgabeblack@google.com operator = (const T &t) 10912841Sgabeblack@google.com { 11012841Sgabeblack@google.com write(t); 11112841Sgabeblack@google.com return *this; 11212841Sgabeblack@google.com } 11312841Sgabeblack@google.com sc_signal<T, WRITER_POLICY> & 11412841Sgabeblack@google.com operator = (const sc_signal<T, WRITER_POLICY> &s) 11512841Sgabeblack@google.com { 11612841Sgabeblack@google.com write(s.read()); 11712841Sgabeblack@google.com return *this; 11812841Sgabeblack@google.com } 11912841Sgabeblack@google.com 12012841Sgabeblack@google.com virtual const sc_event & 12112841Sgabeblack@google.com default_event() const 12212841Sgabeblack@google.com { 12312841Sgabeblack@google.com return value_changed_event(); 12412841Sgabeblack@google.com } 12512841Sgabeblack@google.com virtual const sc_event & 12612841Sgabeblack@google.com value_changed_event() const 12712841Sgabeblack@google.com { 12812841Sgabeblack@google.com return _valueChangedEvent; 12912841Sgabeblack@google.com } 13012841Sgabeblack@google.com virtual bool 13112841Sgabeblack@google.com event() const 13212841Sgabeblack@google.com { 13312841Sgabeblack@google.com return _changeStamp == ::sc_gem5::getChangeStamp(); 13412841Sgabeblack@google.com } 13512841Sgabeblack@google.com 13612841Sgabeblack@google.com virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; } 13712841Sgabeblack@google.com virtual void 13812841Sgabeblack@google.com dump(std::ostream &os=std::cout) const 13912841Sgabeblack@google.com { 14012841Sgabeblack@google.com os << " name = " << name() << ::std::endl; 14112841Sgabeblack@google.com os << " value = " << m_cur_val << ::std::endl; 14212841Sgabeblack@google.com os << "new value = " << m_new_val << ::std::endl; 14312841Sgabeblack@google.com } 14412841Sgabeblack@google.com virtual const char *kind() const { return "sc_signal"; } 14512841Sgabeblack@google.com 14612841Sgabeblack@google.com protected: 14712841Sgabeblack@google.com virtual void 14812841Sgabeblack@google.com update() 14912841Sgabeblack@google.com { 15012841Sgabeblack@google.com if (m_new_val == m_cur_val) 15112841Sgabeblack@google.com return; 15212841Sgabeblack@google.com 15312841Sgabeblack@google.com m_cur_val = m_new_val; 15412841Sgabeblack@google.com _signalChange(); 15512841Sgabeblack@google.com _changeStamp = ::sc_gem5::getChangeStamp(); 15612841Sgabeblack@google.com _valueChangedEvent.notify(SC_ZERO_TIME); 15712841Sgabeblack@google.com } 15812841Sgabeblack@google.com 15912841Sgabeblack@google.com void 16012841Sgabeblack@google.com _signalChange() 16112945Sgabeblack@google.com { 16212945Sgabeblack@google.com _changeStamp = ::sc_gem5::getChangeStamp(); 16312945Sgabeblack@google.com _valueChangedEvent.notify(SC_ZERO_TIME); 16412945Sgabeblack@google.com } 16512945Sgabeblack@google.com 16612945Sgabeblack@google.com // These members which store the current and future value of the signal 16712841Sgabeblack@google.com // are not specified in the standard but are referred to directly by one 16812841Sgabeblack@google.com // of the tests. 16912841Sgabeblack@google.com T m_cur_val; 17012841Sgabeblack@google.com T m_new_val; 17112841Sgabeblack@google.com 17212841Sgabeblack@google.com private: 17312841Sgabeblack@google.com sc_event _valueChangedEvent; 17412841Sgabeblack@google.com uint64_t _changeStamp; 17512841Sgabeblack@google.com 17612841Sgabeblack@google.com // Disabled 17712841Sgabeblack@google.com sc_signal(const sc_signal<T, WRITER_POLICY> &) : 17812841Sgabeblack@google.com sc_signal_inout_if<T>(), sc_prim_channel("") 17912841Sgabeblack@google.com {} 18012841Sgabeblack@google.com}; 18112841Sgabeblack@google.com 18212841Sgabeblack@google.comtemplate <class T, sc_writer_policy WRITER_POLICY> 18312841Sgabeblack@google.cominline std::ostream & 18412841Sgabeblack@google.comoperator << (std::ostream &os, const sc_signal<T, WRITER_POLICY> &s) 18512841Sgabeblack@google.com{ 18612841Sgabeblack@google.com os << s.read(); 18712841Sgabeblack@google.com return os; 18812841Sgabeblack@google.com} 18912841Sgabeblack@google.com 19012841Sgabeblack@google.comtemplate <sc_writer_policy WRITER_POLICY> 19112841Sgabeblack@google.comclass sc_signal<bool, WRITER_POLICY> : 19212841Sgabeblack@google.com public sc_signal_inout_if<bool>, public sc_prim_channel 19312841Sgabeblack@google.com{ 19412841Sgabeblack@google.com public: 19512912Sgabeblack@google.com sc_signal() : sc_signal_inout_if<bool>(), 19612912Sgabeblack@google.com sc_prim_channel(sc_gen_unique_name("signal")), 19712912Sgabeblack@google.com m_cur_val(bool()), m_new_val(bool()), 19812912Sgabeblack@google.com _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL) 19912912Sgabeblack@google.com {} 20012912Sgabeblack@google.com explicit sc_signal(const char *name) : 20112841Sgabeblack@google.com sc_signal_inout_if<bool>(), sc_prim_channel(name), 20212841Sgabeblack@google.com m_cur_val(bool()), m_new_val(bool()), 20312841Sgabeblack@google.com _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL) 20412841Sgabeblack@google.com {} 20512841Sgabeblack@google.com explicit sc_signal(const char *name, const bool &initial_value) : 20612841Sgabeblack@google.com sc_signal_inout_if<bool>(), sc_prim_channel(name), 20712841Sgabeblack@google.com m_cur_val(initial_value), m_new_val(initial_value), 20812841Sgabeblack@google.com _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL) 20912841Sgabeblack@google.com {} 21012841Sgabeblack@google.com virtual ~sc_signal() {} 21112841Sgabeblack@google.com 21212841Sgabeblack@google.com virtual void 21312841Sgabeblack@google.com register_port(sc_port_base &, const char *) 21412841Sgabeblack@google.com { 21512841Sgabeblack@google.com sc_channel_warn_unimpl(__PRETTY_FUNCTION__); 21612841Sgabeblack@google.com } 21712841Sgabeblack@google.com 21812841Sgabeblack@google.com virtual const bool &read() const { return m_cur_val; } 21912841Sgabeblack@google.com operator const bool &() const { return read(); } 22012841Sgabeblack@google.com 22112841Sgabeblack@google.com virtual sc_writer_policy 22212841Sgabeblack@google.com get_writer_policy() const 22312841Sgabeblack@google.com { 22412841Sgabeblack@google.com return WRITER_POLICY; 22512841Sgabeblack@google.com } 22612841Sgabeblack@google.com virtual void 22712841Sgabeblack@google.com write(const bool &b) 22812841Sgabeblack@google.com { 22912841Sgabeblack@google.com m_new_val = b; 23012841Sgabeblack@google.com bool changed = !(m_cur_val == m_new_val); 23112841Sgabeblack@google.com //TODO check whether this write follows the write policy. 23212841Sgabeblack@google.com if (changed) 23312841Sgabeblack@google.com request_update(); 23412841Sgabeblack@google.com } 23512841Sgabeblack@google.com sc_signal<bool, WRITER_POLICY> & 23612841Sgabeblack@google.com operator = (const bool &b) 23712841Sgabeblack@google.com { 23812841Sgabeblack@google.com write(b); 23912841Sgabeblack@google.com return *this; 24012841Sgabeblack@google.com } 24112841Sgabeblack@google.com sc_signal<bool, WRITER_POLICY> & 24212841Sgabeblack@google.com operator = (const sc_signal<bool, WRITER_POLICY> &s) 24312841Sgabeblack@google.com { 24412841Sgabeblack@google.com write(s.read()); 24512841Sgabeblack@google.com return *this; 24612841Sgabeblack@google.com } 24712841Sgabeblack@google.com 24812841Sgabeblack@google.com virtual const sc_event & 24912841Sgabeblack@google.com default_event() const 25012841Sgabeblack@google.com { 25112841Sgabeblack@google.com return value_changed_event(); 25212841Sgabeblack@google.com } 25312841Sgabeblack@google.com 25412841Sgabeblack@google.com virtual const sc_event & 25512841Sgabeblack@google.com value_changed_event() const 25612841Sgabeblack@google.com { 25712841Sgabeblack@google.com return _valueChangedEvent; 25812841Sgabeblack@google.com } 25912841Sgabeblack@google.com virtual const sc_event & 26012841Sgabeblack@google.com posedge_event() const 26112841Sgabeblack@google.com { 26212841Sgabeblack@google.com return _posedgeEvent; 26312841Sgabeblack@google.com } 26412841Sgabeblack@google.com virtual const sc_event & 26512841Sgabeblack@google.com negedge_event() const 26612841Sgabeblack@google.com { 26712841Sgabeblack@google.com return _negedgeEvent; 26812841Sgabeblack@google.com } 26912841Sgabeblack@google.com 27012841Sgabeblack@google.com virtual bool 27112841Sgabeblack@google.com event() const 27212841Sgabeblack@google.com { 27312841Sgabeblack@google.com return _changeStamp == ::sc_gem5::getChangeStamp(); 27412841Sgabeblack@google.com } 27512841Sgabeblack@google.com virtual bool 27612841Sgabeblack@google.com posedge() const 27712841Sgabeblack@google.com { 27812841Sgabeblack@google.com return _posStamp == ::sc_gem5::getChangeStamp(); 27912841Sgabeblack@google.com } 28012841Sgabeblack@google.com virtual bool 28112841Sgabeblack@google.com negedge() const 28212841Sgabeblack@google.com { 28312841Sgabeblack@google.com return _negStamp == ::sc_gem5::getChangeStamp(); 28412841Sgabeblack@google.com } 28512841Sgabeblack@google.com 28612841Sgabeblack@google.com virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; } 28712841Sgabeblack@google.com virtual void 28812841Sgabeblack@google.com dump(std::ostream &os=std::cout) const 28912841Sgabeblack@google.com { 29012841Sgabeblack@google.com os << " name = " << name() << ::std::endl; 29112841Sgabeblack@google.com os << " value = " << m_cur_val << ::std::endl; 29212841Sgabeblack@google.com os << "new value = " << m_new_val << ::std::endl; 29312841Sgabeblack@google.com } 29412841Sgabeblack@google.com virtual const char *kind() const { return "sc_signal"; } 29512841Sgabeblack@google.com 29612841Sgabeblack@google.com protected: 29712841Sgabeblack@google.com virtual void 29812841Sgabeblack@google.com update() 29912841Sgabeblack@google.com { 30012841Sgabeblack@google.com if (m_new_val == m_cur_val) 30112841Sgabeblack@google.com return; 30212841Sgabeblack@google.com 30312841Sgabeblack@google.com m_cur_val = m_new_val; 30412841Sgabeblack@google.com _signalChange(); 30512841Sgabeblack@google.com if (m_cur_val) { 30612841Sgabeblack@google.com _posStamp = ::sc_gem5::getChangeStamp(); 30712841Sgabeblack@google.com _posedgeEvent.notify(SC_ZERO_TIME); 30812841Sgabeblack@google.com } else { 30912841Sgabeblack@google.com _negStamp = ::sc_gem5::getChangeStamp(); 31012841Sgabeblack@google.com _negedgeEvent.notify(SC_ZERO_TIME); 31112841Sgabeblack@google.com } 31212841Sgabeblack@google.com } 31312841Sgabeblack@google.com 31412841Sgabeblack@google.com void 31512841Sgabeblack@google.com _signalChange() 31612841Sgabeblack@google.com { 31712841Sgabeblack@google.com _changeStamp = ::sc_gem5::getChangeStamp(); 31812841Sgabeblack@google.com _valueChangedEvent.notify(SC_ZERO_TIME); 31912841Sgabeblack@google.com } 32012841Sgabeblack@google.com 32112841Sgabeblack@google.com bool m_cur_val; 32212841Sgabeblack@google.com bool m_new_val; 32312841Sgabeblack@google.com 32412841Sgabeblack@google.com private: 32512841Sgabeblack@google.com sc_event _valueChangedEvent; 32612841Sgabeblack@google.com sc_event _posedgeEvent; 32712841Sgabeblack@google.com sc_event _negedgeEvent; 32812841Sgabeblack@google.com 32912841Sgabeblack@google.com uint64_t _changeStamp; 33012841Sgabeblack@google.com uint64_t _posStamp; 33112912Sgabeblack@google.com uint64_t _negStamp; 33212912Sgabeblack@google.com 33312912Sgabeblack@google.com // Disabled 33412912Sgabeblack@google.com sc_signal(const sc_signal<bool, WRITER_POLICY> &) : 33512912Sgabeblack@google.com sc_signal_inout_if<bool>(), sc_prim_channel("") 33612912Sgabeblack@google.com {} 33712912Sgabeblack@google.com}; 33812841Sgabeblack@google.com 33912841Sgabeblack@google.comtemplate <sc_writer_policy WRITER_POLICY> 34012841Sgabeblack@google.comclass sc_signal<sc_dt::sc_logic, WRITER_POLICY> : 34112841Sgabeblack@google.com public sc_signal_inout_if<sc_dt::sc_logic>, public sc_prim_channel 34212841Sgabeblack@google.com{ 34312841Sgabeblack@google.com public: 34412841Sgabeblack@google.com sc_signal() : sc_signal_inout_if<sc_dt::sc_logic>(), 34512841Sgabeblack@google.com sc_prim_channel(sc_gen_unique_name("signal")), 34612841Sgabeblack@google.com m_cur_val(sc_dt::sc_logic()), m_new_val(sc_dt::sc_logic()), 34712841Sgabeblack@google.com _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL) 34812841Sgabeblack@google.com {} 34912841Sgabeblack@google.com explicit sc_signal(const char *name) : 35012841Sgabeblack@google.com sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel(name), 35112841Sgabeblack@google.com m_cur_val(sc_dt::sc_logic()), m_new_val(sc_dt::sc_logic()), 35212841Sgabeblack@google.com _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL) 35312841Sgabeblack@google.com {} 35412841Sgabeblack@google.com explicit sc_signal(const char *name, 35512841Sgabeblack@google.com const sc_dt::sc_logic &initial_value) : 35612841Sgabeblack@google.com sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel(name), 35712841Sgabeblack@google.com m_cur_val(initial_value), m_new_val(initial_value), 35812841Sgabeblack@google.com _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL) 35912841Sgabeblack@google.com {} 36012841Sgabeblack@google.com virtual ~sc_signal() {} 36112841Sgabeblack@google.com 36212841Sgabeblack@google.com virtual void 36312841Sgabeblack@google.com register_port(sc_port_base &, const char *) 36412841Sgabeblack@google.com { 36512841Sgabeblack@google.com sc_channel_warn_unimpl(__PRETTY_FUNCTION__); 36612841Sgabeblack@google.com } 36712841Sgabeblack@google.com 36812841Sgabeblack@google.com virtual const sc_dt::sc_logic &read() const { return m_cur_val; } 36912841Sgabeblack@google.com operator const sc_dt::sc_logic &() const { return read(); } 37012841Sgabeblack@google.com 37112841Sgabeblack@google.com virtual sc_writer_policy 37212841Sgabeblack@google.com get_writer_policy() const 37312841Sgabeblack@google.com { 37412841Sgabeblack@google.com return WRITER_POLICY; 37512841Sgabeblack@google.com } 37612841Sgabeblack@google.com virtual void 37712841Sgabeblack@google.com write(const sc_dt::sc_logic &l) 37812841Sgabeblack@google.com { 37912841Sgabeblack@google.com m_new_val = l; 38012841Sgabeblack@google.com bool changed = !(m_cur_val == m_new_val); 38112841Sgabeblack@google.com //TODO check whether this write follows the write policy. 38212841Sgabeblack@google.com if (changed) 38312841Sgabeblack@google.com request_update(); 38412841Sgabeblack@google.com } 38512841Sgabeblack@google.com sc_signal<sc_dt::sc_logic, WRITER_POLICY> & 38612841Sgabeblack@google.com operator = (const sc_dt::sc_logic &l) 38712841Sgabeblack@google.com { 38812841Sgabeblack@google.com write(l); 38912841Sgabeblack@google.com return *this; 39012841Sgabeblack@google.com } 39112841Sgabeblack@google.com sc_signal<sc_dt::sc_logic, WRITER_POLICY> & 39212841Sgabeblack@google.com operator = (const sc_signal<sc_dt::sc_logic, WRITER_POLICY> &s) 39312841Sgabeblack@google.com { 39412841Sgabeblack@google.com write(s.read()); 39512841Sgabeblack@google.com return *this; 39612841Sgabeblack@google.com } 39712841Sgabeblack@google.com 39812841Sgabeblack@google.com virtual const sc_event & 39912841Sgabeblack@google.com default_event() const 40012841Sgabeblack@google.com { 40112841Sgabeblack@google.com return value_changed_event(); 40212841Sgabeblack@google.com } 40312841Sgabeblack@google.com 40412841Sgabeblack@google.com virtual const sc_event & 40512841Sgabeblack@google.com value_changed_event() const 40612841Sgabeblack@google.com { 40712841Sgabeblack@google.com return _valueChangedEvent; 40812841Sgabeblack@google.com } 40912841Sgabeblack@google.com virtual const sc_event & 41012841Sgabeblack@google.com posedge_event() const 41112841Sgabeblack@google.com { 41212841Sgabeblack@google.com return _posedgeEvent; 41312841Sgabeblack@google.com } 41412841Sgabeblack@google.com virtual const sc_event & 41512841Sgabeblack@google.com negedge_event() const 41612841Sgabeblack@google.com { 41712841Sgabeblack@google.com return _negedgeEvent; 41812841Sgabeblack@google.com } 41912841Sgabeblack@google.com 42012841Sgabeblack@google.com virtual bool 42112841Sgabeblack@google.com event() const 42212841Sgabeblack@google.com { 42312841Sgabeblack@google.com return _changeStamp == ::sc_gem5::getChangeStamp(); 42412841Sgabeblack@google.com } 42512841Sgabeblack@google.com virtual bool 42612841Sgabeblack@google.com posedge() const 42712841Sgabeblack@google.com { 42812841Sgabeblack@google.com return _posStamp == ::sc_gem5::getChangeStamp(); 42912841Sgabeblack@google.com } 43012841Sgabeblack@google.com virtual bool 43112841Sgabeblack@google.com negedge() const 43212841Sgabeblack@google.com { 43312841Sgabeblack@google.com return _negStamp == ::sc_gem5::getChangeStamp(); 43412841Sgabeblack@google.com } 43512841Sgabeblack@google.com 43612841Sgabeblack@google.com virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; } 43712841Sgabeblack@google.com virtual void 43812841Sgabeblack@google.com dump(std::ostream &os=std::cout) const 43912841Sgabeblack@google.com { 44012841Sgabeblack@google.com os << " name = " << name() << ::std::endl; 44112841Sgabeblack@google.com os << " value = " << m_cur_val << ::std::endl; 44212841Sgabeblack@google.com os << "new value = " << m_new_val << ::std::endl; 44312841Sgabeblack@google.com } 44412841Sgabeblack@google.com virtual const char *kind() const { return "sc_signal"; } 44512841Sgabeblack@google.com 44612841Sgabeblack@google.com protected: 44712841Sgabeblack@google.com virtual void 44812841Sgabeblack@google.com update() 44912841Sgabeblack@google.com { 45012841Sgabeblack@google.com if (m_new_val == m_cur_val) 45112841Sgabeblack@google.com return; 45212841Sgabeblack@google.com 45312841Sgabeblack@google.com m_cur_val = m_new_val; 45412841Sgabeblack@google.com _signalChange(); 45512841Sgabeblack@google.com if (m_cur_val == sc_dt::SC_LOGIC_1) { 45612841Sgabeblack@google.com _posStamp = ::sc_gem5::getChangeStamp(); 45712841Sgabeblack@google.com _posedgeEvent.notify(SC_ZERO_TIME); 458 } else if (m_cur_val == sc_dt::SC_LOGIC_0) { 459 _negStamp = ::sc_gem5::getChangeStamp(); 460 _negedgeEvent.notify(SC_ZERO_TIME); 461 } 462 } 463 464 void 465 _signalChange() 466 { 467 _changeStamp = ::sc_gem5::getChangeStamp(); 468 _valueChangedEvent.notify(SC_ZERO_TIME); 469 } 470 471 sc_dt::sc_logic m_cur_val; 472 sc_dt::sc_logic m_new_val; 473 474 private: 475 sc_event _valueChangedEvent; 476 sc_event _posedgeEvent; 477 sc_event _negedgeEvent; 478 479 uint64_t _changeStamp; 480 uint64_t _posStamp; 481 uint64_t _negStamp; 482 483 // Disabled 484 sc_signal(const sc_signal<sc_dt::sc_logic, WRITER_POLICY> &) : 485 sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel("") 486 {} 487}; 488 489} // namespace sc_core 490 491#endif //__SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__ 492