112855Sgabeblack@google.com/*****************************************************************************
212855Sgabeblack@google.com
312855Sgabeblack@google.com  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
412855Sgabeblack@google.com  more contributor license agreements.  See the NOTICE file distributed
512855Sgabeblack@google.com  with this work for additional information regarding copyright ownership.
612855Sgabeblack@google.com  Accellera licenses this file to you under the Apache License, Version 2.0
712855Sgabeblack@google.com  (the "License"); you may not use this file except in compliance with the
812855Sgabeblack@google.com  License.  You may obtain a copy of the License at
912855Sgabeblack@google.com
1012855Sgabeblack@google.com    http://www.apache.org/licenses/LICENSE-2.0
1112855Sgabeblack@google.com
1212855Sgabeblack@google.com  Unless required by applicable law or agreed to in writing, software
1312855Sgabeblack@google.com  distributed under the License is distributed on an "AS IS" BASIS,
1412855Sgabeblack@google.com  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
1512855Sgabeblack@google.com  implied.  See the License for the specific language governing
1612855Sgabeblack@google.com  permissions and limitations under the License.
1712855Sgabeblack@google.com
1812855Sgabeblack@google.com *****************************************************************************/
1912855Sgabeblack@google.com
2012855Sgabeblack@google.com/*****************************************************************************
2112855Sgabeblack@google.com
2212855Sgabeblack@google.com  dist.cpp -- Implementation of the odometers.
2312855Sgabeblack@google.com
2412855Sgabeblack@google.com  Original Author: Ali Dasdan, Synopsys, Inc.
2512855Sgabeblack@google.com
2612855Sgabeblack@google.com *****************************************************************************/
2712855Sgabeblack@google.com
2812855Sgabeblack@google.com/*****************************************************************************
2912855Sgabeblack@google.com
3012855Sgabeblack@google.com  MODIFICATION LOG - modifiers, enter your name, affiliation, date and
3112855Sgabeblack@google.com  changes you are making here.
3212855Sgabeblack@google.com
3312855Sgabeblack@google.com      Name, Affiliation, Date:
3412855Sgabeblack@google.com  Description of Modification:
3512855Sgabeblack@google.com
3612855Sgabeblack@google.com *****************************************************************************/
3712855Sgabeblack@google.com
3812855Sgabeblack@google.com// $Log: dist.cpp,v $
3912855Sgabeblack@google.com// Revision 1.1.1.1  2006/12/15 20:26:24  acg
4012855Sgabeblack@google.com// systemc_tests-2.3
4112855Sgabeblack@google.com//
4212855Sgabeblack@google.com// Revision 1.3  2006/01/19 00:48:14  acg
4312855Sgabeblack@google.com// Andy Goodrich: Changes for the fact signal write checking is enabled.
4412855Sgabeblack@google.com//
4512855Sgabeblack@google.com// Revision 1.2  2006/01/18 00:23:50  acg
4612855Sgabeblack@google.com// Change over from SC_NO_WRITE_CHECK to sc_write_check_enable() call.
4712855Sgabeblack@google.com//
4812855Sgabeblack@google.com
4912855Sgabeblack@google.com#define SC_NO_WRITE_CHECK
5012855Sgabeblack@google.com#include "systemc.h"
5112855Sgabeblack@google.com#include "const.h"
5212855Sgabeblack@google.com#include "dist.h"
5312855Sgabeblack@google.com
5412855Sgabeblack@google.combool dist_mod::prev_reset;
5512855Sgabeblack@google.com
5612855Sgabeblack@google.com// Get the pulses for one distance increment.
5712855Sgabeblack@google.comvoid
5812855Sgabeblack@google.comdist_mod::get_dist_proc()
5912855Sgabeblack@google.com{
6012855Sgabeblack@google.com  wait();
6112855Sgabeblack@google.com
6212855Sgabeblack@google.com  while (true) {
6312855Sgabeblack@google.com
6412855Sgabeblack@google.com    // More than one pulse is needed for a distance increment.  This
6512855Sgabeblack@google.com    // function collects NUM_PULSES_FOR_DIST_INCR pulses for that
6612855Sgabeblack@google.com    // purpose.
6712855Sgabeblack@google.com    AWAIT(NUM_PULSES_FOR_DIST_INCR);
6812855Sgabeblack@google.com
6912855Sgabeblack@google.com    if (start)
7012855Sgabeblack@google.com      ok_for_incr = (ok_for_incr ? false : true);
7112855Sgabeblack@google.com    else
7212855Sgabeblack@google.com      ok_for_incr = false;
7312855Sgabeblack@google.com  }
7412855Sgabeblack@google.com}
7512855Sgabeblack@google.com
7612855Sgabeblack@google.com// Compute total distance.
7712855Sgabeblack@google.comvoid
7812855Sgabeblack@google.comdist_mod::compute_total_proc()
7912855Sgabeblack@google.com{
8012855Sgabeblack@google.com  if (start)
8112855Sgabeblack@google.com    total_dist = total_dist + 1.0;
8212855Sgabeblack@google.com  else
8312855Sgabeblack@google.com    total_dist = 0.0;
8412855Sgabeblack@google.com}
8512855Sgabeblack@google.com
8612855Sgabeblack@google.com// Compute partial distance.
8712855Sgabeblack@google.comvoid
8812855Sgabeblack@google.comdist_mod::compute_partial_proc()
8912855Sgabeblack@google.com{
9012855Sgabeblack@google.com  if (start) {
9112855Sgabeblack@google.com
9212855Sgabeblack@google.com    // Implement reset.event():
9312855Sgabeblack@google.com    if (prev_reset != (bool) reset)
9412855Sgabeblack@google.com      partial_dist = 0.0;
9512855Sgabeblack@google.com    else
9612855Sgabeblack@google.com      partial_dist = partial_dist + 1.0;
9712855Sgabeblack@google.com
9812855Sgabeblack@google.com    prev_reset = reset;
9912855Sgabeblack@google.com
10012855Sgabeblack@google.com  }
10112855Sgabeblack@google.com  else
10212855Sgabeblack@google.com    partial_dist = 0.0;
10312855Sgabeblack@google.com}
10412855Sgabeblack@google.com
10512855Sgabeblack@google.com// LCD display driver.
10612855Sgabeblack@google.comvoid
10712855Sgabeblack@google.comdist_mod::lcd_driver_proc()
10812855Sgabeblack@google.com{
10912855Sgabeblack@google.com  if (start) {
11012855Sgabeblack@google.com
11112855Sgabeblack@google.com    if (total_dist.event())
11212855Sgabeblack@google.com      total = total_dist * DIST_INCR;
11312855Sgabeblack@google.com
11412855Sgabeblack@google.com    if (partial_dist.event())
11512855Sgabeblack@google.com      partial = partial_dist * DIST_INCR;
11612855Sgabeblack@google.com
11712855Sgabeblack@google.com  }
11812855Sgabeblack@google.com  else {
11912855Sgabeblack@google.com    total = 0.0;
12012855Sgabeblack@google.com    partial = 0.0;
12112855Sgabeblack@google.com  }
12212855Sgabeblack@google.com}
12312855Sgabeblack@google.com
12412855Sgabeblack@google.com// End of file
125