// ----------------------------------------------------------------------------
|
// ----------------------------------------------------------------------------
|
|
|
// The TAP state machine: implementation
|
// The TAP state machine: implementation
|
|
|
// Copyright (C) 2009 Embecosm Limited <info@embecosm.com>
|
// Copyright (C) 2009 Embecosm Limited <info@embecosm.com>
|
|
|
// Contributor Jeremy Bennett <jeremy.bennett@embecosm.com>
|
// Contributor Jeremy Bennett <jeremy.bennett@embecosm.com>
|
|
|
// This file is part of the Embecosm cycle accurate SystemC JTAG library.
|
// This file is part of the Embecosm cycle accurate SystemC JTAG library.
|
|
|
// This program is free software: you can redistribute it and/or modify it
|
// This program is free software: you can redistribute it and/or modify it
|
// under the terms of the GNU Lesser General Public License as published by
|
// under the terms of the GNU Lesser General Public License as published by
|
// the Free Software Foundation, either version 3 of the License, or (at your
|
// the Free Software Foundation, either version 3 of the License, or (at your
|
// option) any later version.
|
// option) any later version.
|
|
|
// This program is distributed in the hope that it will be useful, but WITHOUT
|
// This program is distributed in the hope that it will be useful, but WITHOUT
|
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
// License for more details.
|
// License for more details.
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
// You should have received a copy of the GNU Lesser General Public License
|
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
// The C/C++ parts of this program are commented throughout in a fashion
|
// The C/C++ parts of this program are commented throughout in a fashion
|
// suitable for processing with Doxygen.
|
// suitable for processing with Doxygen.
|
|
|
// The C/C++ parts of this program are commented throughout in a fashion
|
// The C/C++ parts of this program are commented throughout in a fashion
|
// suitable for processing with Doxygen.
|
// suitable for processing with Doxygen.
|
|
|
// ----------------------------------------------------------------------------
|
// ----------------------------------------------------------------------------
|
|
|
// $Id$
|
// $Id$
|
|
|
#include "TapStateMachine.h"
|
#include "TapStateMachine.h"
|
|
|
//! Constructor
|
//! Constructor
|
|
|
//! Start in the Test-Logic-Reset state, although we cannot know this reflects
|
//! Start in the Test-Logic-Reset state, although we cannot know this reflects
|
//! the hardware until it has been through a TAP reset sequence. This is
|
//! the hardware until it has been through a TAP reset sequence. This is
|
//! reflected in the ::tapResetDone flag.
|
//! reflected in the ::tapResetDone flag.
|
|
|
TapStateMachine::TapStateMachine () :
|
TapStateMachine::TapStateMachine () :
|
state (TAP_TEST_LOGIC_RESET),
|
state(TAP_TEST_LOGIC_RESET), resetDone(false)
|
resetDone (false)
|
|
{
|
{
|
|
|
} // TapStateMachine ()
|
} // TapStateMachine ()
|
|
|
|
|
//! Accessor to get the current TAP state
|
//! Accessor to get the current TAP state
|
|
|
//! Only guaranteed to match the target hardware if it has been through a
|
//! Only guaranteed to match the target hardware if it has been through a
|
//! reset sequence.
|
//! reset sequence.
|
|
|
//! @return The current TAP state
|
//! @return The current TAP state
|
TapState
|
TapState TapStateMachine::getState()
|
TapStateMachine::getState ()
|
|
{
|
{
|
return state;
|
return state;
|
|
|
} // getState ()
|
} // getState ()
|
|
|
|
|
//! Accessor to get the current TAP reset state.
|
//! Accessor to get the current TAP reset state.
|
|
|
//! It is the responsibility of classes using this class to correctly set this
|
//! It is the responsibility of classes using this class to correctly set this
|
//! state.
|
//! state.
|
|
|
//! @return The current TAP reset state
|
//! @return The current TAP reset state
|
bool
|
bool TapStateMachine::getResetDone()
|
TapStateMachine::getResetDone ()
|
|
{
|
{
|
return resetDone;
|
return resetDone;
|
|
|
} // getResetDone ()
|
} // getResetDone ()
|
|
|
|
|
//! Accessor to set the current TAP reset state.
|
//! Accessor to set the current TAP reset state.
|
|
|
//! It is the responsibility of classes using this class to correctly set this
|
//! It is the responsibility of classes using this class to correctly set this
|
//! state.
|
//! state.
|
|
|
//! @param[in] The desired TAP reset state
|
//! @param[in] The desired TAP reset state
|
void
|
void TapStateMachine::setResetDone(bool _resetDone)
|
TapStateMachine::setResetDone (bool _resetDone)
|
|
{
|
{
|
resetDone = _resetDone;
|
resetDone = _resetDone;
|
|
|
} // setResetDone ()
|
} // setResetDone ()
|
|
|
|
|
//! Drive the TAP state machine
|
//! Drive the TAP state machine
|
|
|
//! @param tms The JTAG TMS pin
|
//! @param tms The JTAG TMS pin
|
void
|
void TapStateMachine::nextState(bool tms)
|
TapStateMachine::nextState (bool tms)
|
|
{
|
{
|
static const TapState mapHigh[TAP_SIZE] = { // When TMS = 1/true
|
static const TapState mapHigh[TAP_SIZE] = { // When TMS = 1/true
|
TAP_TEST_LOGIC_RESET, // from TAP_TEST_LOGIC_RESET
|
TAP_TEST_LOGIC_RESET, // from TAP_TEST_LOGIC_RESET
|
TAP_SELECT_DR_SCAN, // from TAP_RUN_TEST_IDLE
|
TAP_SELECT_DR_SCAN, // from TAP_RUN_TEST_IDLE
|
TAP_SELECT_IR_SCAN, // from TAP_SELECT_DR_SCAN
|
TAP_SELECT_IR_SCAN, // from TAP_SELECT_DR_SCAN
|
TAP_EXIT1_DR, // from TAP_CAPTURE_DR
|
TAP_EXIT1_DR, // from TAP_CAPTURE_DR
|
TAP_EXIT1_DR, // from TAP_SHIFT_DR
|
TAP_EXIT1_DR, // from TAP_SHIFT_DR
|
TAP_UPDATE_DR, // from TAP_EXIT1_DR
|
TAP_UPDATE_DR, // from TAP_EXIT1_DR
|
TAP_EXIT2_DR, // from TAP_PAUSE_DR
|
TAP_EXIT2_DR, // from TAP_PAUSE_DR
|
TAP_UPDATE_DR, // from TAP_EXIT2_DR
|
TAP_UPDATE_DR, // from TAP_EXIT2_DR
|
TAP_SELECT_DR_SCAN, // from TAP_UPDATE_DR
|
TAP_SELECT_DR_SCAN, // from TAP_UPDATE_DR
|
TAP_TEST_LOGIC_RESET, // from TAP_SELECT_IR_SCAN
|
TAP_TEST_LOGIC_RESET, // from TAP_SELECT_IR_SCAN
|
TAP_EXIT1_IR, // from TAP_CAPTURE_IR
|
TAP_EXIT1_IR, // from TAP_CAPTURE_IR
|
TAP_EXIT1_IR, // from TAP_SHIFT_IR
|
TAP_EXIT1_IR, // from TAP_SHIFT_IR
|
TAP_UPDATE_IR, // from TAP_EXIT1_IR
|
TAP_UPDATE_IR, // from TAP_EXIT1_IR
|
TAP_EXIT2_IR, // from TAP_PAUSE_IR
|
TAP_EXIT2_IR, // from TAP_PAUSE_IR
|
TAP_UPDATE_IR, // from TAP_EXIT2_IR
|
TAP_UPDATE_IR, // from TAP_EXIT2_IR
|
TAP_SELECT_DR_SCAN}; // from TAP_UPDATE_IR
|
TAP_SELECT_DR_SCAN
|
|
}; // from TAP_UPDATE_IR
|
|
|
static const TapState mapLow[TAP_SIZE] = { // When TMS = 0/false
|
static const TapState mapLow[TAP_SIZE] = { // When TMS = 0/false
|
TAP_RUN_TEST_IDLE, // from TAP_TEST_LOGIC_RESET
|
TAP_RUN_TEST_IDLE, // from TAP_TEST_LOGIC_RESET
|
TAP_RUN_TEST_IDLE, // from TAP_RUN_TEST_IDLE
|
TAP_RUN_TEST_IDLE, // from TAP_RUN_TEST_IDLE
|
TAP_CAPTURE_DR, // from TAP_SELECT_DR_SCAN
|
TAP_CAPTURE_DR, // from TAP_SELECT_DR_SCAN
|
TAP_SHIFT_DR, // from TAP_CAPTURE_DR
|
TAP_SHIFT_DR, // from TAP_CAPTURE_DR
|
TAP_SHIFT_DR, // from TAP_SHIFT_DR
|
TAP_SHIFT_DR, // from TAP_SHIFT_DR
|
TAP_PAUSE_DR, // from TAP_EXIT1_DR
|
TAP_PAUSE_DR, // from TAP_EXIT1_DR
|
TAP_PAUSE_DR, // from TAP_PAUSE_DR
|
TAP_PAUSE_DR, // from TAP_PAUSE_DR
|
TAP_SHIFT_DR, // from TAP_EXIT2_DR
|
TAP_SHIFT_DR, // from TAP_EXIT2_DR
|
TAP_RUN_TEST_IDLE, // from TAP_UPDATE_DR
|
TAP_RUN_TEST_IDLE, // from TAP_UPDATE_DR
|
TAP_CAPTURE_IR, // from TAP_SELECT_IR_SCAN
|
TAP_CAPTURE_IR, // from TAP_SELECT_IR_SCAN
|
TAP_SHIFT_IR, // from TAP_CAPTURE_IR
|
TAP_SHIFT_IR, // from TAP_CAPTURE_IR
|
TAP_SHIFT_IR, // from TAP_SHIFT_IR
|
TAP_SHIFT_IR, // from TAP_SHIFT_IR
|
TAP_PAUSE_IR, // from TAP_EXIT1_IR
|
TAP_PAUSE_IR, // from TAP_EXIT1_IR
|
TAP_PAUSE_IR, // from TAP_PAUSE_IR
|
TAP_PAUSE_IR, // from TAP_PAUSE_IR
|
TAP_SHIFT_IR, // from TAP_EXIT2_IR
|
TAP_SHIFT_IR, // from TAP_EXIT2_IR
|
TAP_RUN_TEST_IDLE }; // from TAP_UPDATE_IR
|
TAP_RUN_TEST_IDLE
|
|
}; // from TAP_UPDATE_IR
|
|
|
state = tms ? mapHigh[state] : mapLow[state];
|
state = tms ? mapHigh[state] : mapLow[state];
|
|
|
} // nextState()
|
} // nextState()
|
|
|
|
|
//! Determine if we are in a particular TAP state
|
//! Determine if we are in a particular TAP state
|
|
|
//! Set TMS to get there optimally
|
//! Set TMS to get there optimally
|
|
|
//! @param[in] target The desired TAP state
|
//! @param[in] target The desired TAP state
|
//! @param[out] tms Value of TMS to move towards the target state. Set
|
//! @param[out] tms Value of TMS to move towards the target state. Set
|
//! even if we are already in the state (in case we want
|
//! even if we are already in the state (in case we want
|
//! to loop).
|
//! to loop).
|
|
|
//! @return True if we are already in the target state
|
//! @return True if we are already in the target state
|
bool
|
bool TapStateMachine::targetState(TapState target, bool & tms)
|
TapStateMachine::targetState (TapState target,
|
|
bool &tms)
|
|
{
|
{
|
// Map of the value of TMS which moves the state machine from the the state
|
// Map of the value of TMS which moves the state machine from the the state
|
// in the row (first) to the state in the column (second)
|
// in the row (first) to the state in the column (second)
|
static const bool map[TAP_SIZE][TAP_SIZE] = {
|
static const bool map[TAP_SIZE][TAP_SIZE] = {
|
// T R S C S E P E U S C S E P E U
|
// T R S C S E P E U S C S E P E U
|
// L T D D D 1 D 2 D I I I 1 I 2 I
|
// L T D D D 1 D 2 D I I I 1 I 2 I
|
// R I R R R D R D R R R R I R I R
|
// R I R R R D R D R R R R I R I R
|
// S R R S R R
|
// S R R S R R
|
{ 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }, // map[TLR][x]
|
{1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, // map[TLR][x]
|
{ 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[RTI][x]
|
{1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}, // map[RTI][x]
|
{ 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1 }, // map[SDRS][x]
|
{1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1}, // map[SDRS][x]
|
{ 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[CDR][x]
|
{1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}, // map[CDR][x]
|
{ 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[SDR][x]
|
{1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}, // map[SDR][x]
|
{ 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[E1DR][x]
|
{1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1}, // map[E1DR][x]
|
{ 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[PDR][x]
|
{1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1}, // map[PDR][x]
|
{ 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[E2DR][x]
|
{1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1}, // map[E2DR][x]
|
{ 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }, // map[UDR][x]
|
{1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}, // map[UDR][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0 }, // map[SIRS][x]
|
{1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0}, // map[SIRS][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1 }, // map[CIR][x]
|
{1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1}, // map[CIR][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1 }, // map[SIR][x]
|
{1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1}, // map[SIR][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1 }, // map[E1IR][x]
|
{1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1}, // map[E1IR][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1 }, // map[PIR][x]
|
{1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1}, // map[PIR][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1 }, // map[E2IR][x]
|
{ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1 }, // map[E2IR][x]
|
{ 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 }}; // map[UIR][x]
|
{1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1}
|
|
}; // map[UIR][x]
|
|
|
tms = map[state][target];
|
tms = map[state][target];
|
return state == target;
|
return state == target;
|
|
|
} // targetState()
|
} // targetState()
|
|
|
