sc_signal.hh (13205:e965ce37608e) sc_signal.hh (13245:c666c5d4996b)
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright
9 * notice, this list of conditions and the following disclaimer in the
10 * documentation and/or other materials provided with the distribution;
11 * neither the name of the copyright holders nor the names of its
12 * contributors may be used to endorse or promote products derived from
13 * this software without specific prior written permission.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 *
27 * Authors: Gabe Black
28 */
29
30#ifndef __SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__
31#define __SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__
32
33#include <iostream>
34#include <string>
35#include <vector>
36
37#include "../core/sc_event.hh"
38#include "../core/sc_module.hh" // for sc_gen_unique_name
39#include "../core/sc_prim.hh"
40#include "../dt/bit/sc_logic.hh"
41#include "sc_signal_inout_if.hh"
42#include "warn_unimpl.hh" // for warn_unimpl
43
44namespace sc_core
45{
46
47class sc_port_base;
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright
9 * notice, this list of conditions and the following disclaimer in the
10 * documentation and/or other materials provided with the distribution;
11 * neither the name of the copyright holders nor the names of its
12 * contributors may be used to endorse or promote products derived from
13 * this software without specific prior written permission.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 *
27 * Authors: Gabe Black
28 */
29
30#ifndef __SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__
31#define __SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__
32
33#include <iostream>
34#include <string>
35#include <vector>
36
37#include "../core/sc_event.hh"
38#include "../core/sc_module.hh" // for sc_gen_unique_name
39#include "../core/sc_prim.hh"
40#include "../dt/bit/sc_logic.hh"
41#include "sc_signal_inout_if.hh"
42#include "warn_unimpl.hh" // for warn_unimpl
43
44namespace sc_core
45{
46
47class sc_port_base;
48class sc_trace_file;
49
48
50// Nonstandard
51// Despite having a warning "FOR INTERNAL USE ONLY!" in all caps above this
52// class definition in the Accellera implementation, it appears in their
53// examples and test programs, and so we need to have it here as well.
54struct sc_trace_params
55{
56 sc_trace_file *tf;
57 std::string name;
58
59 sc_trace_params(sc_trace_file *tf, const std::string &name) :
60 tf(tf), name(name)
61 {}
62};
63typedef std::vector<sc_trace_params *> sc_trace_params_vec;
64
65template <class T, sc_writer_policy WRITER_POLICY=SC_ONE_WRITER>
66class sc_signal : public sc_signal_inout_if<T>,
67 public sc_prim_channel
68{
69 public:
70 sc_signal() : sc_signal_inout_if<T>(),
71 sc_prim_channel(sc_gen_unique_name("signal")),
72 m_cur_val(T()), m_new_val(T()), _changeStamp(~0ULL)
73 {}
74 explicit sc_signal(const char *name) :
75 sc_signal_inout_if<T>(), sc_prim_channel(name),
76 m_cur_val(T()), m_new_val(T()), _changeStamp(~0ULL)
77 {}
78 explicit sc_signal(const char *name, const T &initial_value) :
79 sc_signal_inout_if<T>(), sc_prim_channel(name),
80 m_cur_val(initial_value), m_new_val(initial_value), _changeStamp(~0ULL)
81 {}
82 virtual ~sc_signal() {}
83
84 virtual void
85 register_port(sc_port_base &, const char *)
86 {
87 sc_channel_warn_unimpl(__PRETTY_FUNCTION__);
88 }
89
90 virtual const T &read() const { return m_cur_val; }
91 operator const T&() const { return read(); }
92
93 virtual sc_writer_policy
94 get_writer_policy() const
95 {
96 return WRITER_POLICY;
97 }
98 virtual void
99 write(const T &t)
100 {
101 m_new_val = t;
102 bool changed = !(m_cur_val == m_new_val);
103 //TODO check whether this write follows the write policy.
104 if (changed)
105 request_update();
106 }
107 sc_signal<T, WRITER_POLICY> &
108 operator = (const T &t)
109 {
110 write(t);
111 return *this;
112 }
113 sc_signal<T, WRITER_POLICY> &
114 operator = (const sc_signal<T, WRITER_POLICY> &s)
115 {
116 write(s.read());
117 return *this;
118 }
119
120 virtual const sc_event &
121 default_event() const
122 {
123 return value_changed_event();
124 }
125 virtual const sc_event &
126 value_changed_event() const
127 {
128 return _valueChangedEvent;
129 }
130 virtual bool
131 event() const
132 {
133 return _changeStamp == ::sc_gem5::getChangeStamp();
134 }
135
136 virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; }
137 virtual void
138 dump(std::ostream &os=std::cout) const
139 {
140 os << " name = " << name() << ::std::endl;
141 os << " value = " << m_cur_val << ::std::endl;
142 os << "new value = " << m_new_val << ::std::endl;
143 }
144 virtual const char *kind() const { return "sc_signal"; }
145
146 protected:
147 virtual void
148 update()
149 {
150 if (m_new_val == m_cur_val)
151 return;
152
153 m_cur_val = m_new_val;
154 _signalChange();
155 _changeStamp = ::sc_gem5::getChangeStamp();
156 _valueChangedEvent.notify(SC_ZERO_TIME);
157 }
158
159 void
160 _signalChange()
161 {
162 _changeStamp = ::sc_gem5::getChangeStamp();
163 _valueChangedEvent.notify(SC_ZERO_TIME);
164 }
165
166 // These members which store the current and future value of the signal
167 // are not specified in the standard but are referred to directly by one
168 // of the tests.
169 T m_cur_val;
170 T m_new_val;
171
172 private:
173 sc_event _valueChangedEvent;
174 uint64_t _changeStamp;
175
176 // Disabled
177 sc_signal(const sc_signal<T, WRITER_POLICY> &) :
178 sc_signal_inout_if<T>(), sc_prim_channel("")
179 {}
180};
181
182template <class T, sc_writer_policy WRITER_POLICY>
183inline std::ostream &
184operator << (std::ostream &os, const sc_signal<T, WRITER_POLICY> &s)
185{
186 os << s.read();
187 return os;
188}
189
190template <sc_writer_policy WRITER_POLICY>
191class sc_signal<bool, WRITER_POLICY> :
192 public sc_signal_inout_if<bool>, public sc_prim_channel
193{
194 public:
195 sc_signal() : sc_signal_inout_if<bool>(),
196 sc_prim_channel(sc_gen_unique_name("signal")),
197 m_cur_val(bool()), m_new_val(bool()),
198 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
199 {}
200 explicit sc_signal(const char *name) :
201 sc_signal_inout_if<bool>(), sc_prim_channel(name),
202 m_cur_val(bool()), m_new_val(bool()),
203 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
204 {}
205 explicit sc_signal(const char *name, const bool &initial_value) :
206 sc_signal_inout_if<bool>(), sc_prim_channel(name),
207 m_cur_val(initial_value), m_new_val(initial_value),
208 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
209 {}
210 virtual ~sc_signal() {}
211
212 virtual void
213 register_port(sc_port_base &, const char *)
214 {
215 sc_channel_warn_unimpl(__PRETTY_FUNCTION__);
216 }
217
218 virtual const bool &read() const { return m_cur_val; }
219 operator const bool &() const { return read(); }
220
221 virtual sc_writer_policy
222 get_writer_policy() const
223 {
224 return WRITER_POLICY;
225 }
226 virtual void
227 write(const bool &b)
228 {
229 m_new_val = b;
230 bool changed = !(m_cur_val == m_new_val);
231 //TODO check whether this write follows the write policy.
232 if (changed)
233 request_update();
234 }
235 sc_signal<bool, WRITER_POLICY> &
236 operator = (const bool &b)
237 {
238 write(b);
239 return *this;
240 }
241 sc_signal<bool, WRITER_POLICY> &
242 operator = (const sc_signal<bool, WRITER_POLICY> &s)
243 {
244 write(s.read());
245 return *this;
246 }
247
248 virtual const sc_event &
249 default_event() const
250 {
251 return value_changed_event();
252 }
253
254 virtual const sc_event &
255 value_changed_event() const
256 {
257 return _valueChangedEvent;
258 }
259 virtual const sc_event &
260 posedge_event() const
261 {
262 return _posedgeEvent;
263 }
264 virtual const sc_event &
265 negedge_event() const
266 {
267 return _negedgeEvent;
268 }
269
270 virtual bool
271 event() const
272 {
273 return _changeStamp == ::sc_gem5::getChangeStamp();
274 }
275 virtual bool
276 posedge() const
277 {
278 return _posStamp == ::sc_gem5::getChangeStamp();
279 }
280 virtual bool
281 negedge() const
282 {
283 return _negStamp == ::sc_gem5::getChangeStamp();
284 }
285
286 virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; }
287 virtual void
288 dump(std::ostream &os=std::cout) const
289 {
290 os << " name = " << name() << ::std::endl;
291 os << " value = " << m_cur_val << ::std::endl;
292 os << "new value = " << m_new_val << ::std::endl;
293 }
294 virtual const char *kind() const { return "sc_signal"; }
295
296 protected:
297 virtual void
298 update()
299 {
300 if (m_new_val == m_cur_val)
301 return;
302
303 m_cur_val = m_new_val;
304 _signalChange();
305 if (m_cur_val) {
306 _posStamp = ::sc_gem5::getChangeStamp();
307 _posedgeEvent.notify(SC_ZERO_TIME);
308 } else {
309 _negStamp = ::sc_gem5::getChangeStamp();
310 _negedgeEvent.notify(SC_ZERO_TIME);
311 }
312 }
313
314 void
315 _signalChange()
316 {
317 _changeStamp = ::sc_gem5::getChangeStamp();
318 _valueChangedEvent.notify(SC_ZERO_TIME);
319 }
320
321 bool m_cur_val;
322 bool m_new_val;
323
324 private:
325 sc_event _valueChangedEvent;
326 sc_event _posedgeEvent;
327 sc_event _negedgeEvent;
328
329 uint64_t _changeStamp;
330 uint64_t _posStamp;
331 uint64_t _negStamp;
332
333 // Disabled
334 sc_signal(const sc_signal<bool, WRITER_POLICY> &) :
335 sc_signal_inout_if<bool>(), sc_prim_channel("")
336 {}
337};
338
339template <sc_writer_policy WRITER_POLICY>
340class sc_signal<sc_dt::sc_logic, WRITER_POLICY> :
341 public sc_signal_inout_if<sc_dt::sc_logic>, public sc_prim_channel
342{
343 public:
344 sc_signal() : sc_signal_inout_if<sc_dt::sc_logic>(),
345 sc_prim_channel(sc_gen_unique_name("signal")),
346 m_cur_val(sc_dt::sc_logic()), m_new_val(sc_dt::sc_logic()),
347 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
348 {}
349 explicit sc_signal(const char *name) :
350 sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel(name),
351 m_cur_val(sc_dt::sc_logic()), m_new_val(sc_dt::sc_logic()),
352 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
353 {}
354 explicit sc_signal(const char *name,
355 const sc_dt::sc_logic &initial_value) :
356 sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel(name),
357 m_cur_val(initial_value), m_new_val(initial_value),
358 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
359 {}
360 virtual ~sc_signal() {}
361
362 virtual void
363 register_port(sc_port_base &, const char *)
364 {
365 sc_channel_warn_unimpl(__PRETTY_FUNCTION__);
366 }
367
368 virtual const sc_dt::sc_logic &read() const { return m_cur_val; }
369 operator const sc_dt::sc_logic &() const { return read(); }
370
371 virtual sc_writer_policy
372 get_writer_policy() const
373 {
374 return WRITER_POLICY;
375 }
376 virtual void
377 write(const sc_dt::sc_logic &l)
378 {
379 m_new_val = l;
380 bool changed = !(m_cur_val == m_new_val);
381 //TODO check whether this write follows the write policy.
382 if (changed)
383 request_update();
384 }
385 sc_signal<sc_dt::sc_logic, WRITER_POLICY> &
386 operator = (const sc_dt::sc_logic &l)
387 {
388 write(l);
389 return *this;
390 }
391 sc_signal<sc_dt::sc_logic, WRITER_POLICY> &
392 operator = (const sc_signal<sc_dt::sc_logic, WRITER_POLICY> &s)
393 {
394 write(s.read());
395 return *this;
396 }
397
398 virtual const sc_event &
399 default_event() const
400 {
401 return value_changed_event();
402 }
403
404 virtual const sc_event &
405 value_changed_event() const
406 {
407 return _valueChangedEvent;
408 }
409 virtual const sc_event &
410 posedge_event() const
411 {
412 return _posedgeEvent;
413 }
414 virtual const sc_event &
415 negedge_event() const
416 {
417 return _negedgeEvent;
418 }
419
420 virtual bool
421 event() const
422 {
423 return _changeStamp == ::sc_gem5::getChangeStamp();
424 }
425 virtual bool
426 posedge() const
427 {
428 return _posStamp == ::sc_gem5::getChangeStamp();
429 }
430 virtual bool
431 negedge() const
432 {
433 return _negStamp == ::sc_gem5::getChangeStamp();
434 }
435
436 virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; }
437 virtual void
438 dump(std::ostream &os=std::cout) const
439 {
440 os << " name = " << name() << ::std::endl;
441 os << " value = " << m_cur_val << ::std::endl;
442 os << "new value = " << m_new_val << ::std::endl;
443 }
444 virtual const char *kind() const { return "sc_signal"; }
445
446 protected:
447 virtual void
448 update()
449 {
450 if (m_new_val == m_cur_val)
451 return;
452
453 m_cur_val = m_new_val;
454 _signalChange();
455 if (m_cur_val == sc_dt::SC_LOGIC_1) {
456 _posStamp = ::sc_gem5::getChangeStamp();
457 _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__
49template <class T, sc_writer_policy WRITER_POLICY=SC_ONE_WRITER>
50class sc_signal : public sc_signal_inout_if<T>,
51 public sc_prim_channel
52{
53 public:
54 sc_signal() : sc_signal_inout_if<T>(),
55 sc_prim_channel(sc_gen_unique_name("signal")),
56 m_cur_val(T()), m_new_val(T()), _changeStamp(~0ULL)
57 {}
58 explicit sc_signal(const char *name) :
59 sc_signal_inout_if<T>(), sc_prim_channel(name),
60 m_cur_val(T()), m_new_val(T()), _changeStamp(~0ULL)
61 {}
62 explicit sc_signal(const char *name, const T &initial_value) :
63 sc_signal_inout_if<T>(), sc_prim_channel(name),
64 m_cur_val(initial_value), m_new_val(initial_value), _changeStamp(~0ULL)
65 {}
66 virtual ~sc_signal() {}
67
68 virtual void
69 register_port(sc_port_base &, const char *)
70 {
71 sc_channel_warn_unimpl(__PRETTY_FUNCTION__);
72 }
73
74 virtual const T &read() const { return m_cur_val; }
75 operator const T&() const { return read(); }
76
77 virtual sc_writer_policy
78 get_writer_policy() const
79 {
80 return WRITER_POLICY;
81 }
82 virtual void
83 write(const T &t)
84 {
85 m_new_val = t;
86 bool changed = !(m_cur_val == m_new_val);
87 //TODO check whether this write follows the write policy.
88 if (changed)
89 request_update();
90 }
91 sc_signal<T, WRITER_POLICY> &
92 operator = (const T &t)
93 {
94 write(t);
95 return *this;
96 }
97 sc_signal<T, WRITER_POLICY> &
98 operator = (const sc_signal<T, WRITER_POLICY> &s)
99 {
100 write(s.read());
101 return *this;
102 }
103
104 virtual const sc_event &
105 default_event() const
106 {
107 return value_changed_event();
108 }
109 virtual const sc_event &
110 value_changed_event() const
111 {
112 return _valueChangedEvent;
113 }
114 virtual bool
115 event() const
116 {
117 return _changeStamp == ::sc_gem5::getChangeStamp();
118 }
119
120 virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; }
121 virtual void
122 dump(std::ostream &os=std::cout) const
123 {
124 os << " name = " << name() << ::std::endl;
125 os << " value = " << m_cur_val << ::std::endl;
126 os << "new value = " << m_new_val << ::std::endl;
127 }
128 virtual const char *kind() const { return "sc_signal"; }
129
130 protected:
131 virtual void
132 update()
133 {
134 if (m_new_val == m_cur_val)
135 return;
136
137 m_cur_val = m_new_val;
138 _signalChange();
139 _changeStamp = ::sc_gem5::getChangeStamp();
140 _valueChangedEvent.notify(SC_ZERO_TIME);
141 }
142
143 void
144 _signalChange()
145 {
146 _changeStamp = ::sc_gem5::getChangeStamp();
147 _valueChangedEvent.notify(SC_ZERO_TIME);
148 }
149
150 // These members which store the current and future value of the signal
151 // are not specified in the standard but are referred to directly by one
152 // of the tests.
153 T m_cur_val;
154 T m_new_val;
155
156 private:
157 sc_event _valueChangedEvent;
158 uint64_t _changeStamp;
159
160 // Disabled
161 sc_signal(const sc_signal<T, WRITER_POLICY> &) :
162 sc_signal_inout_if<T>(), sc_prim_channel("")
163 {}
164};
165
166template <class T, sc_writer_policy WRITER_POLICY>
167inline std::ostream &
168operator << (std::ostream &os, const sc_signal<T, WRITER_POLICY> &s)
169{
170 os << s.read();
171 return os;
172}
173
174template <sc_writer_policy WRITER_POLICY>
175class sc_signal<bool, WRITER_POLICY> :
176 public sc_signal_inout_if<bool>, public sc_prim_channel
177{
178 public:
179 sc_signal() : sc_signal_inout_if<bool>(),
180 sc_prim_channel(sc_gen_unique_name("signal")),
181 m_cur_val(bool()), m_new_val(bool()),
182 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
183 {}
184 explicit sc_signal(const char *name) :
185 sc_signal_inout_if<bool>(), sc_prim_channel(name),
186 m_cur_val(bool()), m_new_val(bool()),
187 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
188 {}
189 explicit sc_signal(const char *name, const bool &initial_value) :
190 sc_signal_inout_if<bool>(), sc_prim_channel(name),
191 m_cur_val(initial_value), m_new_val(initial_value),
192 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
193 {}
194 virtual ~sc_signal() {}
195
196 virtual void
197 register_port(sc_port_base &, const char *)
198 {
199 sc_channel_warn_unimpl(__PRETTY_FUNCTION__);
200 }
201
202 virtual const bool &read() const { return m_cur_val; }
203 operator const bool &() const { return read(); }
204
205 virtual sc_writer_policy
206 get_writer_policy() const
207 {
208 return WRITER_POLICY;
209 }
210 virtual void
211 write(const bool &b)
212 {
213 m_new_val = b;
214 bool changed = !(m_cur_val == m_new_val);
215 //TODO check whether this write follows the write policy.
216 if (changed)
217 request_update();
218 }
219 sc_signal<bool, WRITER_POLICY> &
220 operator = (const bool &b)
221 {
222 write(b);
223 return *this;
224 }
225 sc_signal<bool, WRITER_POLICY> &
226 operator = (const sc_signal<bool, WRITER_POLICY> &s)
227 {
228 write(s.read());
229 return *this;
230 }
231
232 virtual const sc_event &
233 default_event() const
234 {
235 return value_changed_event();
236 }
237
238 virtual const sc_event &
239 value_changed_event() const
240 {
241 return _valueChangedEvent;
242 }
243 virtual const sc_event &
244 posedge_event() const
245 {
246 return _posedgeEvent;
247 }
248 virtual const sc_event &
249 negedge_event() const
250 {
251 return _negedgeEvent;
252 }
253
254 virtual bool
255 event() const
256 {
257 return _changeStamp == ::sc_gem5::getChangeStamp();
258 }
259 virtual bool
260 posedge() const
261 {
262 return _posStamp == ::sc_gem5::getChangeStamp();
263 }
264 virtual bool
265 negedge() const
266 {
267 return _negStamp == ::sc_gem5::getChangeStamp();
268 }
269
270 virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; }
271 virtual void
272 dump(std::ostream &os=std::cout) const
273 {
274 os << " name = " << name() << ::std::endl;
275 os << " value = " << m_cur_val << ::std::endl;
276 os << "new value = " << m_new_val << ::std::endl;
277 }
278 virtual const char *kind() const { return "sc_signal"; }
279
280 protected:
281 virtual void
282 update()
283 {
284 if (m_new_val == m_cur_val)
285 return;
286
287 m_cur_val = m_new_val;
288 _signalChange();
289 if (m_cur_val) {
290 _posStamp = ::sc_gem5::getChangeStamp();
291 _posedgeEvent.notify(SC_ZERO_TIME);
292 } else {
293 _negStamp = ::sc_gem5::getChangeStamp();
294 _negedgeEvent.notify(SC_ZERO_TIME);
295 }
296 }
297
298 void
299 _signalChange()
300 {
301 _changeStamp = ::sc_gem5::getChangeStamp();
302 _valueChangedEvent.notify(SC_ZERO_TIME);
303 }
304
305 bool m_cur_val;
306 bool m_new_val;
307
308 private:
309 sc_event _valueChangedEvent;
310 sc_event _posedgeEvent;
311 sc_event _negedgeEvent;
312
313 uint64_t _changeStamp;
314 uint64_t _posStamp;
315 uint64_t _negStamp;
316
317 // Disabled
318 sc_signal(const sc_signal<bool, WRITER_POLICY> &) :
319 sc_signal_inout_if<bool>(), sc_prim_channel("")
320 {}
321};
322
323template <sc_writer_policy WRITER_POLICY>
324class sc_signal<sc_dt::sc_logic, WRITER_POLICY> :
325 public sc_signal_inout_if<sc_dt::sc_logic>, public sc_prim_channel
326{
327 public:
328 sc_signal() : sc_signal_inout_if<sc_dt::sc_logic>(),
329 sc_prim_channel(sc_gen_unique_name("signal")),
330 m_cur_val(sc_dt::sc_logic()), m_new_val(sc_dt::sc_logic()),
331 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
332 {}
333 explicit sc_signal(const char *name) :
334 sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel(name),
335 m_cur_val(sc_dt::sc_logic()), m_new_val(sc_dt::sc_logic()),
336 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
337 {}
338 explicit sc_signal(const char *name,
339 const sc_dt::sc_logic &initial_value) :
340 sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel(name),
341 m_cur_val(initial_value), m_new_val(initial_value),
342 _changeStamp(~0ULL), _posStamp(~0ULL), _negStamp(~0ULL)
343 {}
344 virtual ~sc_signal() {}
345
346 virtual void
347 register_port(sc_port_base &, const char *)
348 {
349 sc_channel_warn_unimpl(__PRETTY_FUNCTION__);
350 }
351
352 virtual const sc_dt::sc_logic &read() const { return m_cur_val; }
353 operator const sc_dt::sc_logic &() const { return read(); }
354
355 virtual sc_writer_policy
356 get_writer_policy() const
357 {
358 return WRITER_POLICY;
359 }
360 virtual void
361 write(const sc_dt::sc_logic &l)
362 {
363 m_new_val = l;
364 bool changed = !(m_cur_val == m_new_val);
365 //TODO check whether this write follows the write policy.
366 if (changed)
367 request_update();
368 }
369 sc_signal<sc_dt::sc_logic, WRITER_POLICY> &
370 operator = (const sc_dt::sc_logic &l)
371 {
372 write(l);
373 return *this;
374 }
375 sc_signal<sc_dt::sc_logic, WRITER_POLICY> &
376 operator = (const sc_signal<sc_dt::sc_logic, WRITER_POLICY> &s)
377 {
378 write(s.read());
379 return *this;
380 }
381
382 virtual const sc_event &
383 default_event() const
384 {
385 return value_changed_event();
386 }
387
388 virtual const sc_event &
389 value_changed_event() const
390 {
391 return _valueChangedEvent;
392 }
393 virtual const sc_event &
394 posedge_event() const
395 {
396 return _posedgeEvent;
397 }
398 virtual const sc_event &
399 negedge_event() const
400 {
401 return _negedgeEvent;
402 }
403
404 virtual bool
405 event() const
406 {
407 return _changeStamp == ::sc_gem5::getChangeStamp();
408 }
409 virtual bool
410 posedge() const
411 {
412 return _posStamp == ::sc_gem5::getChangeStamp();
413 }
414 virtual bool
415 negedge() const
416 {
417 return _negStamp == ::sc_gem5::getChangeStamp();
418 }
419
420 virtual void print(std::ostream &os=std::cout) const { os << m_cur_val; }
421 virtual void
422 dump(std::ostream &os=std::cout) const
423 {
424 os << " name = " << name() << ::std::endl;
425 os << " value = " << m_cur_val << ::std::endl;
426 os << "new value = " << m_new_val << ::std::endl;
427 }
428 virtual const char *kind() const { return "sc_signal"; }
429
430 protected:
431 virtual void
432 update()
433 {
434 if (m_new_val == m_cur_val)
435 return;
436
437 m_cur_val = m_new_val;
438 _signalChange();
439 if (m_cur_val == sc_dt::SC_LOGIC_1) {
440 _posStamp = ::sc_gem5::getChangeStamp();
441 _posedgeEvent.notify(SC_ZERO_TIME);
442 } else if (m_cur_val == sc_dt::SC_LOGIC_0) {
443 _negStamp = ::sc_gem5::getChangeStamp();
444 _negedgeEvent.notify(SC_ZERO_TIME);
445 }
446 }
447
448 void
449 _signalChange()
450 {
451 _changeStamp = ::sc_gem5::getChangeStamp();
452 _valueChangedEvent.notify(SC_ZERO_TIME);
453 }
454
455 sc_dt::sc_logic m_cur_val;
456 sc_dt::sc_logic m_new_val;
457
458 private:
459 sc_event _valueChangedEvent;
460 sc_event _posedgeEvent;
461 sc_event _negedgeEvent;
462
463 uint64_t _changeStamp;
464 uint64_t _posStamp;
465 uint64_t _negStamp;
466
467 // Disabled
468 sc_signal(const sc_signal<sc_dt::sc_logic, WRITER_POLICY> &) :
469 sc_signal_inout_if<sc_dt::sc_logic>(), sc_prim_channel("")
470 {}
471};
472
473} // namespace sc_core
474
475#endif //__SYSTEMC_EXT_CHANNEL_SC_SIGNAL_HH__