diff options
Diffstat (limited to 'src/systemc/tests/systemc/1666-2011-compliance/event_list/event_list.cpp')
-rw-r--r-- | src/systemc/tests/systemc/1666-2011-compliance/event_list/event_list.cpp | 318 |
1 files changed, 318 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/1666-2011-compliance/event_list/event_list.cpp b/src/systemc/tests/systemc/1666-2011-compliance/event_list/event_list.cpp new file mode 100644 index 000000000..a3617ff60 --- /dev/null +++ b/src/systemc/tests/systemc/1666-2011-compliance/event_list/event_list.cpp @@ -0,0 +1,318 @@ +/***************************************************************************** + + Licensed to Accellera Systems Initiative Inc. (Accellera) under one or + more contributor license agreements. See the NOTICE file distributed + with this work for additional information regarding copyright ownership. + Accellera licenses this file to you under the Apache License, Version 2.0 + (the "License"); you may not use this file except in compliance with the + License. You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied. See the License for the specific language governing + permissions and limitations under the License. + + *****************************************************************************/ + +// event_list.cpp -- test for +// +// Original Author: John Aynsley, Doulos, Inc. +// +// MODIFICATION LOG - modifiers, enter your name, affiliation, date and +// +// $Log: event_list.cpp,v $ +// Revision 1.3 2011/09/05 21:23:30 acg +// Philipp A. Hartmann: eliminate compiler warnings. +// +// Revision 1.2 2011/05/08 19:18:46 acg +// Andy Goodrich: remove extraneous + prefixes from git diff. +// + +// Event lists. A thread waits on a list of events built dynamically from a multiport + +#include <systemc> + +using namespace sc_core; +using std::cout; +using std::endl; + +struct Mod: sc_module +{ + sc_port<sc_signal_in_if<int>, 0> p; // Multiport + + Mod(sc_module_name _name) + { + SC_THREAD(T1); + SC_THREAD(T2); + } + + void T1() + { + for (;;) + { + wait(all_events()); + cout << "M::T1 awoke with " << p[0]->read() << p[1]->read() << p[2]->read() + << " at " << sc_time_stamp() << " on list" << endl; + } + } + void T2() + { + for (;;) + { + wait( p[0]->default_event() | p[1]->default_event() ); + cout << "M::T2 awoke with " << p[0]->read() << p[1]->read() << p[2]->read() + << " at " << sc_time_stamp() << " on list" << endl; + } + } + sc_event_or_list all_events() const + { + sc_assert( p.size() == 3 ); + + sc_event_or_list or_list; + for (int i = 0; i < p.size(); i++) + or_list |= p[i]->default_event(); + + sc_assert( or_list.size() == 3 ); + return or_list; + } + + SC_HAS_PROCESS(Mod); +}; + +struct Top: sc_module +{ + Top(sc_module_name _name) + : finished(false) + , count(0) + { + m = new Mod("m"); + m->p.bind(sig1); + m->p.bind(sig2); + m->p.bind(sig3); + SC_THREAD(T); + SC_METHOD(M); + } + + ~Top() + { + sc_assert( finished ); + sc_assert( count == 4 ); + sc_assert( sc_get_status() == SC_PAUSED ); + sc_assert( sc_is_running() == true ); + cout << "~T() called" << endl; + } + + sc_signal<int> sig1, sig2, sig3; + Mod* m; + + sc_event e1, e2, e3, e4; + bool finished; + + void T() + { + sig1.write(0); + sig2.write(0); + sig3.write(0); + + wait(10, SC_NS); + sig1.write(1); + wait(10, SC_NS); + sig1.write(2); + + wait(10, SC_NS); + sig2.write(1); + wait(10, SC_NS); + sig2.write(2); + + wait(10, SC_NS); + sig3.write(1); + wait(10, SC_NS); + sig3.write(2); + + sc_time start; + start = sc_time_stamp(); + + e1.notify(10, SC_NS); + e2.notify(20, SC_NS); + + sc_event_and_list list1 = e1 & e2; + sc_assert( list1.size() == 2 ); + + wait( list1 ); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(20, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(11, SC_NS); + e2.notify(21, SC_NS); + + sc_event_and_list list2; + list2 &= e1; + list2 &= e2; + sc_assert( list2.size() == 2 ); + + wait( list2); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(21, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(14, SC_NS); + e2.notify(24, SC_NS); + + sc_event_and_list list3 = list2 & e2; + sc_assert( list3.size() == 2 ); + + wait( list3 ); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(24, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(100, SC_NS); + e2.notify(200, SC_NS); + + sc_event_and_list list4; + list4 = list3 & e2; + sc_assert( list4.size() == 2 ); + wait( list4 ); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(200, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(101, SC_NS); + e2.notify(202, SC_NS); + + sc_event_and_list list5 = list3 & list4; + sc_assert( list5.size() == 2 ); + wait( list5 ); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(202, SC_NS) ); + + sc_event_and_list list6 = e1; + sc_assert( list6.size() == 1 ); + + start = sc_time_stamp(); + e1.notify(500, SC_NS); + wait(list6); + sc_assert( sc_time_stamp() - start == sc_time(500, SC_NS) ); + + + start = sc_time_stamp(); + e1.notify(1000, SC_NS); + wait(e1 | e2 | e3); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(1000, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(1002, SC_NS); + e2.notify(1001, SC_NS); + e3.notify(1000, SC_NS); + + wait(e1 & e2 & e3); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(1002, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(2000, SC_NS); + + sc_event_or_list list7; + list7 = e1 | e2; + list7 = list7 | e3; + list7 |= e4; + wait(list7); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(2000, SC_NS) ); + + start = sc_time_stamp(); + e1.notify(3000, SC_NS); + list7 = e2 | e3; + list7 = e1 | list7; + wait(list7); + cout << "Awoke at " << sc_time_stamp() << endl; + sc_assert( sc_time_stamp() - start == sc_time(3000, SC_NS) ); + + list1 = e1; + list2 = e2; + e1.notify(SC_ZERO_TIME); + wait(list1); + e2.notify(SC_ZERO_TIME); + wait(list2); + + list1.swap(list2); + + e1.notify(SC_ZERO_TIME); + wait(list2); + e2.notify(SC_ZERO_TIME); + wait(list1); + + finished = true; + } + + sc_event v1, v2, v3, v4; + sc_event_or_list or_list1, or_list2; + sc_event_and_list and_list1, and_list2; + int count; + + void M() + { + switch (count) + { + case 0: + { + sc_assert( sc_time_stamp() == sc_time(0, SC_NS) ); + or_list1 = v1 | v2; + or_list2 = v3 | v4; + v2.notify(10, SC_NS); + next_trigger(or_list1 | or_list2); + break; + } + case 1: + { + sc_assert( sc_time_stamp() == sc_time(10, SC_NS) ); + and_list1 = v1 & v2; + and_list2 = v3 & v4; + v1.notify(1, SC_NS); + v2.notify(2, SC_NS); + v3.notify(3, SC_NS); + v4.notify(4, SC_NS); + next_trigger(and_list1 & and_list2); + break; + } + case 2: + { + sc_assert( sc_time_stamp() == sc_time(14, SC_NS) ); + and_list1 = v1 & v2 & v2 & v1; + sc_assert( and_list1.size() == 2 ); + v1.notify(1, SC_NS); + v2.notify(2, SC_NS); + next_trigger(and_list1); + break; + } + case 3: + { + sc_assert( sc_time_stamp() == sc_time(16, SC_NS) ); + break; + } + } + ++count; + } + + SC_HAS_PROCESS(Top); +}; + +int sc_main(int argc, char* argv[]) +{ + Top top("top"); + + sc_start(); + + sc_assert( sc_get_status() == SC_PAUSED ); + sc_assert( sc_is_running() ); + sc_assert( sc_pending_activity() == false ); + + cout << endl << "Success" << endl; + return 0; +} + |