BSDL Files Library for JTAG

The only free public library that contains thousands of BSDL (Boundary Scan Description Language) models to use with BScan/JTAG tools

BSDL model: EPM3032AT44 latest version

-- Copyright (C) 1998-2007 Altera Corporation
--
-- File Name     : 3032AT44.BSD
-- Device        : EPM3032AT44
-- Package       : 44-Pin Thin Quad Flat Pack
-- BSDL Version  : 3.00 Mod 1.20
-- BSDL Status   : Final
-- Date Created  : 07/17/2007
-- Created by    : Altera BSDL Generation Program Ver. 1.20      
--                 1532 Plug-in Ver. 1.2
-- Verification  : Software syntax checked on:
--                   Agilent Technologies 3070 BSDL Compiler
--                   ASSET ScanWorks ver. 3.1.1
--                   Corelis ScanPlus TPG ver. 4.12
--                   Genrad BSDL syntax checker ver. 4.01, a component
--                      of Scan Pathfinder(tm) and BasicSCAN(tm)
--                   GOEPEL Electronics' CASCON-GALAXY(R) ver. 4.0
--                   JTAG Technologies BSDL Converter ver. 2.4
--
-- Documentation : MAX 3000A Family Datasheet
--                 AN39: JTAG Boundary Scan Testing for Altera Devices
--
-- *********************************************************************
-- *                           IMPORTANT NOTICE                        *
-- *********************************************************************
--
-- Altera, MAX 3000A and EPM3032A are trademarks of Altera
-- Corporation.  Altera products, marketed under trademarks, are
-- protected under numerous US and foreign patents and pending
-- applications, maskwork rights, and copyrights.   Altera warrants
-- performance of its semiconductor products to current specifications
-- in accordance with Altera's standard warranty, but reserves the
-- right to make changes to any products and services at any time
-- without notice.  Altera assumes no responsibility or liability
-- arising out of the application or use of any information, product,
-- or service described herein except as expressly agreed to in
-- writing by Altera Corporation.  Altera customers are advised to
-- obtain the latest version of device specifications before relying
-- on any published information and before placing orders for products
-- or services.
--
--                   **Testing After Configuration**
--  This file supports boundary scan testing (BST) before device
--  configuration.  After configuration, you should use the 
--  BSDLCustomizer tool available at
--  www.altera.com/support/devices/bsdl/bsdl.html
--  to create a post-configuration BSDL file that is customized to
--  your design.
-- *********************************************************************
-- *                     ENTITY DEFINITION WITH PORTS                  *
-- *********************************************************************

entity EPM3032AT44 is
  generic (PHYSICAL_PIN_MAP : string := "TQFP44");

port (
--I/O Pins
    IO42   , IO43   , IO44   , IO2    , IO3    , IO5    , IO6    , 
    IO8    , IO10   , IO12   , IO13   , IO14   , IO15   , IO18   , 
    IO19   , IO20   , IO21   , IO22   , IO23   , IO25   , IO27   , 
    IO28   , IO31   , IO33   , IO34   , IO35   : inout bit;
--Dedicated Input Pins
    IN39   , IN40   , IN37   , IN38   : in bit;
--JTAG Ports
    TCK    , TMS    , TDI    : in bit;
    TDO    : out bit;
--Power Pins
    VCC    : linkage bit_vector (1 to 4);
--Ground Pins
    GND    : linkage bit_vector (1 to 6)
);

use STD_1149_1_1994.all;
use STD_1532_2001.all;

attribute COMPONENT_CONFORMANCE of EPM3032AT44 :
          entity is "STD_1149_1_1993";

-- *********************************************************************
-- *                             PIN MAPPING                           *
-- *********************************************************************

attribute PIN_MAP of EPM3032AT44 : entity is PHYSICAL_PIN_MAP;
constant TQFP44 : PIN_MAP_STRING :=
--I/O Pins
    "IO42   : 42  , IO43   : 43  , IO44   : 44  , IO2    : 2   , "&
    "IO3    : 3   , IO5    : 5   , IO6    : 6   , IO8    : 8   , "&
    "IO10   : 10  , IO12   : 12  , IO13   : 13  , IO14   : 14  , "&
    "IO15   : 15  , IO18   : 18  , IO19   : 19  , IO20   : 20  , "&
    "IO21   : 21  , IO22   : 22  , IO23   : 23  , IO25   : 25  , "&
    "IO27   : 27  , IO28   : 28  , IO31   : 31  , IO33   : 33  , "&
    "IO34   : 34  , IO35   : 35  , "&
--Dedicated Input Pins
    "IN39   : 39  , IN40   : 40  , IN37   : 37  , IN38   : 38  , "&
--JTAG ports
    "TCK    : 26  , TMS    : 7   , TDI    : 1   , TDO    : 32  , "&
--Power Pins
    "VCC    : (41  , 9   , 17  , 29  ), "&
--Ground Pins
    "GND    : (4   , 11  , 16  , 24  , 30  , 36  )";

-- *********************************************************************
-- *                       IEEE 1149.1 TAP PORTS                       *
-- *********************************************************************

attribute TAP_SCAN_IN of TDI     : signal is true;
attribute TAP_SCAN_MODE of TMS   : signal is true;
attribute TAP_SCAN_OUT of TDO    : signal is true;
attribute TAP_SCAN_CLOCK of TCK  : signal is (10.00e6,BOTH);

-- *********************************************************************
-- *                   INSTRUCTIONS AND REGISTER ACCESS                *
-- *********************************************************************

attribute INSTRUCTION_LENGTH of EPM3032AT44 : entity is 10;
attribute INSTRUCTION_OPCODE of EPM3032AT44 : entity is
  "BYPASS            (1111111111), "&
  "EXTEST            (0000000000), "&
  "SAMPLE            (0001010101), "&
  "IDCODE            (0001011001), "&
  "USERCODE          (0000000111), "&
  "ISC_ENABLE	(1100110010), "&
  "ISC_DISABLE	(0000000110), "&
  "ISC_PROGRAM	(0000010010), "&
  "ISC_ERASE	(0000001010), "&
  "ISC_ADDRESS_SHIFT	(0000001110), "&
  "ISC_READ	(0000010110), "&
  "ISC_READ_H	(0000011010), "&
  "ISC_READ_L	(0000011110), "&
  "ISC_NOOP	(0011111111)";

attribute INSTRUCTION_CAPTURE of EPM3032AT44 : entity is "0101010101";

attribute IDCODE_REGISTER of EPM3032AT44 : entity is
  "0001"&               --4-bit Version
  "0111000000110010"&   --16-bit Part Number (hex 7032)
  "00001101110"&        --11-bit Manufacturer's Identity
  "1";                  --Mandatory LSB
attribute USERCODE_REGISTER of EPM3032AT44 : entity is
  "XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX";
attribute REGISTER_ACCESS of EPM3032AT44 : entity is
  "DEVICE_ID        (IDCODE), "&
  "ISC_DEFAULT[1]	(ISC_ENABLE, ISC_DISABLE, ISC_NOOP, ISC_ERASE), "&
  "ISC_PData[183]	(ISC_PROGRAM), "&
  "ISC_RData[183]	(ISC_READ_L, ISC_READ_H, ISC_READ), "&
  "ISC_Address[95]	(ISC_ADDRESS_SHIFT)";

-- *********************************************************************
-- *                    BOUNDARY SCAN CELL INFORMATION                 *
-- *********************************************************************

attribute BOUNDARY_LENGTH of EPM3032AT44 : entity is 96;
attribute BOUNDARY_REGISTER of EPM3032AT44 : entity is
  --BSC group 0 for dedicated input pin 38
  "0   (BC_4, IN38, input, X)," &
  "1   (BC_4, *, internal, X)," &
  "2   (BC_4, *, internal, X)," &

  --BSC group 1 for dedicated input pin 37
  "3   (BC_4, IN37, input, X)," &
  "4   (BC_4, *, internal, X)," &
  "5   (BC_4, *, internal, X)," &

  --BSC group 2 for I/O pin 35
  "6   (BC_4, IO35, input, X)," &
  "7   (BC_1, *, control, 0)," &
  "8   (BC_1, IO35, output3, X, 7, 0, Z)," &

  --BSC group 3 for I/O pin 34
  "9   (BC_4, IO34, input, X)," &
  "10  (BC_1, *, control, 0)," &
  "11  (BC_1, IO34, output3, X, 10, 0, Z)," &

  --BSC group 4 for I/O pin 33
  "12  (BC_4, IO33, input, X)," &
  "13  (BC_1, *, control, 0)," &
  "14  (BC_1, IO33, output3, X, 13, 0, Z)," &

  --BSC group 5 for I/O pin 31
  "15  (BC_4, IO31, input, X)," &
  "16  (BC_1, *, control, 0)," &
  "17  (BC_1, IO31, output3, X, 16, 0, Z)," &

  --BSC group 6 for unused pad
  "18  (BC_4, *, internal, X)," &
  "19  (BC_4, *, internal, 0)," &
  "20  (BC_4, *, internal, X)," &

  --BSC group 7 for I/O pin 28
  "21  (BC_4, IO28, input, X)," &
  "22  (BC_1, *, control, 0)," &
  "23  (BC_1, IO28, output3, X, 22, 0, Z)," &

  --BSC group 8 for I/O pin 27
  "24  (BC_4, IO27, input, X)," &
  "25  (BC_1, *, control, 0)," &
  "26  (BC_1, IO27, output3, X, 25, 0, Z)," &

  --BSC group 9 for I/O pin 25
  "27  (BC_4, IO25, input, X)," &
  "28  (BC_1, *, control, 0)," &
  "29  (BC_1, IO25, output3, X, 28, 0, Z)," &

  --BSC group 10 for I/O pin 23
  "30  (BC_4, IO23, input, X)," &
  "31  (BC_1, *, control, 0)," &
  "32  (BC_1, IO23, output3, X, 31, 0, Z)," &

  --BSC group 11 for I/O pin 22
  "33  (BC_4, IO22, input, X)," &
  "34  (BC_1, *, control, 0)," &
  "35  (BC_1, IO22, output3, X, 34, 0, Z)," &

  --BSC group 12 for I/O pin 21
  "36  (BC_4, IO21, input, X)," &
  "37  (BC_1, *, control, 0)," &
  "38  (BC_1, IO21, output3, X, 37, 0, Z)," &

  --BSC group 13 for I/O pin 20
  "39  (BC_4, IO20, input, X)," &
  "40  (BC_1, *, control, 0)," &
  "41  (BC_1, IO20, output3, X, 40, 0, Z)," &

  --BSC group 14 for I/O pin 19
  "42  (BC_4, IO19, input, X)," &
  "43  (BC_1, *, control, 0)," &
  "44  (BC_1, IO19, output3, X, 43, 0, Z)," &

  --BSC group 15 for I/O pin 18
  "45  (BC_4, IO18, input, X)," &
  "46  (BC_1, *, control, 0)," &
  "47  (BC_1, IO18, output3, X, 46, 0, Z)," &

  --BSC group 16 for I/O pin 15
  "48  (BC_4, IO15, input, X)," &
  "49  (BC_1, *, control, 0)," &
  "50  (BC_1, IO15, output3, X, 49, 0, Z)," &

  --BSC group 17 for I/O pin 14
  "51  (BC_4, IO14, input, X)," &
  "52  (BC_1, *, control, 0)," &
  "53  (BC_1, IO14, output3, X, 52, 0, Z)," &

  --BSC group 18 for I/O pin 13
  "54  (BC_4, IO13, input, X)," &
  "55  (BC_1, *, control, 0)," &
  "56  (BC_1, IO13, output3, X, 55, 0, Z)," &

  --BSC group 19 for I/O pin 12
  "57  (BC_4, IO12, input, X)," &
  "58  (BC_1, *, control, 0)," &
  "59  (BC_1, IO12, output3, X, 58, 0, Z)," &

  --BSC group 20 for unused pad
  "60  (BC_4, *, internal, X)," &
  "61  (BC_4, *, internal, 0)," &
  "62  (BC_4, *, internal, X)," &

  --BSC group 21 for I/O pin 10
  "63  (BC_4, IO10, input, X)," &
  "64  (BC_1, *, control, 0)," &
  "65  (BC_1, IO10, output3, X, 64, 0, Z)," &

  --BSC group 22 for I/O pin 8
  "66  (BC_4, IO8, input, X)," &
  "67  (BC_1, *, control, 0)," &
  "68  (BC_1, IO8, output3, X, 67, 0, Z)," &

  --BSC group 23 for I/O pin 6
  "69  (BC_4, IO6, input, X)," &
  "70  (BC_1, *, control, 0)," &
  "71  (BC_1, IO6, output3, X, 70, 0, Z)," &

  --BSC group 24 for I/O pin 5
  "72  (BC_4, IO5, input, X)," &
  "73  (BC_1, *, control, 0)," &
  "74  (BC_1, IO5, output3, X, 73, 0, Z)," &

  --BSC group 25 for I/O pin 3
  "75  (BC_4, IO3, input, X)," &
  "76  (BC_1, *, control, 0)," &
  "77  (BC_1, IO3, output3, X, 76, 0, Z)," &

  --BSC group 26 for I/O pin 2
  "78  (BC_4, IO2, input, X)," &
  "79  (BC_1, *, control, 0)," &
  "80  (BC_1, IO2, output3, X, 79, 0, Z)," &

  --BSC group 27 for I/O pin 44
  "81  (BC_4, IO44, input, X)," &
  "82  (BC_1, *, control, 0)," &
  "83  (BC_1, IO44, output3, X, 82, 0, Z)," &

  --BSC group 28 for I/O pin 43
  "84  (BC_4, IO43, input, X)," &
  "85  (BC_1, *, control, 0)," &
  "86  (BC_1, IO43, output3, X, 85, 0, Z)," &

  --BSC group 29 for I/O pin 42
  "87  (BC_4, IO42, input, X)," &
  "88  (BC_1, *, control, 0)," &
  "89  (BC_1, IO42, output3, X, 88, 0, Z)," &

  --BSC group 30 for dedicated input pin 40
  "90  (BC_4, IN40, input, X)," &
  "91  (BC_4, *, internal, X)," &
  "92  (BC_4, *, internal, X)," &

  --BSC group 31 for dedicated input pin 39
  "93  (BC_4, IN39, input, X)," &
  "94  (BC_4, *, internal, X)," &
  "95  (BC_4, *, internal, X)" ;



-- ************************************************************************
-- *                    IEEE 1532 EXTENSION INFORMATION                   *
-- ************************************************************************

attribute ISC_PIN_BEHAVIOR of EPM3032AT44 : entity is "CLAMP";

attribute ISC_STATUS of EPM3032AT44 : entity is "Not Implemented";

attribute ISC_BLANK_USERCODE of EPM3032AT44 : entity is
  "11111111111111111111111111111111";

attribute ISC_FLOW of EPM3032AT44 : entity is

  "FLOW_VERIFY_IDCODE " &
    "INITIALIZE " &
      "(IDCODE        32:0  WAIT TCK 1 32:170320DD)," &

  "FLOW_ENABLE " &
    "INITIALIZE " &
      "(ISC_ENABLE        WAIT 1.0e-3)," &

  "FLOW_ERASE " &
    "INITIALIZE " &
      "(ISC_ADDRESS_SHIFT 95:100000000000000000000000 WAIT TCK 1)" &
      "(ISC_ERASE        WAIT 100.0e-3)," &

  "FLOW_DISABLE " &
    "INITIALIZE " &
      "(ISC_DISABLE        WAIT 1.0e-3)" &
      "(BYPASS        WAIT 10.0e-3)," &

  "FLOW_BLANKCHECK " &
    "INITIALIZE " &
      "(ISC_ADDRESS_SHIFT 95:$addr=100000000000000000000000 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEC0000FFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEC0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFE40000FFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFE40000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFE7FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEC0000FFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEC0000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFFEC0000FFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFFEC0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &


    "REPEAT 70 " &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


    "TERMINATE " &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7BDEF7BDEF7BDEF7BDEF000000F7BDEF7BDEF7BDEF7BDE*7BDEF7BDEF7BDEF7BDEF000000F7BDEF7BDEF7BDEF7BDE)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:6318C6318C6318C6318C000000C6318C6318C6318C6318*6318C6318C6318C6318C000000C6318C6318C6318C6318)," &







  "FLOW_PROGRAM (array) " &
    "INITIALIZE " &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr=100000000000000000000000 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	80:?, 2:?, 101:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &


      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)" &


    "REPEAT 61 " &
      "(ISC_READ	183:?	WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_PROGRAM	WAIT 30.0e-3)," &





  "FLOW_VERIFY (array) " &
    "INITIALIZE " &
      "(ISC_ADDRESS_SHIFT 95:$addr=100000000000000000000000 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*040000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


    "REPEAT 1 " &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7BDEF7BDEF7BDEF7BDEF000000F7BDEF7BDEF7BDEF7BDE)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ        WAIT TCK 1 183:?*6318C6318C6318C6318C000000C6318C6318C6318C6318)," &







  "FLOW_VERIFY_H (array) " &
    "INITIALIZE " &
      "(ISC_ADDRESS_SHIFT 95:$addr=100000000000000000000000 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*040000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


    "REPEAT 1 " &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7BDEF7BDEF7BDEF7BDEF000000F7BDEF7BDEF7BDEF7BDE)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_H        WAIT TCK 1 183:?*6318C6318C6318C6318C000000C6318C6318C6318C6318)," &







  "FLOW_VERIFY_L (array) " &
    "INITIALIZE " &
      "(ISC_ADDRESS_SHIFT 95:$addr=100000000000000000000000 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*040000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*07FFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 80:?*FFFFFFFFFFFFFFFFFFFF, 2:?*3, 101:?*0C0000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF8FFFFFFFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


    "REPEAT 1 " &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &
      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7BDEF7BDEF7BDEF7BDEF000000F7BDEF7BDEF7BDEF7BDE)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*7FFFFFFFFFFFFFFFFFFF800000FFFFFFFFFFFFFFFFFFFF)" &


      "(ISC_ADDRESS_SHIFT 95:$addr>>1 WAIT TCK 1)" &
      "(ISC_READ_L        WAIT TCK 1 183:?*6318C6318C6318C6318C000000C6318C6318C6318C6318)," &







  "FLOW_PROGRAM_DONE " &
    "INITIALIZE " &
      "(ISC_READ   183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF   WAIT TCK 1)" &
      "(ISC_ADDRESS_SHIFT   95:400000000000000000000000   WAIT TCK 1)" &
      "(ISC_PROGRAM   WAIT 30.0e-3)," &

  "FLOW_VERIFY_PROGRAM_DONEBIT " &
    "INITIALIZE " &
      "(ISC_ADDRESS_SHIFT   95:400000000000000000000000   WAIT TCK 1)" &
      "(ISC_READ   WAIT TCK 1   183:7FFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFF*0000000000000000000010000000000000000000000000)," &

  "FLOW_ERROR_EXIT " &
    "INITIALIZE " &
      "(ISC_DISABLE        WAIT 1.0e-3)";




attribute ISC_PROCEDURE of EPM3032AT44 : entity is
  "PROC_ENABLE          = (FLOW_ENABLE)," &
  "PROC_DISABLE         = (FLOW_DISABLE)," &
  "PROC_ERASE           = (FLOW_ERASE)," &
  "TEST_BLANKCHECK      = (FLOW_BLANKCHECK)," &
  "TEST_VERIFY_IDCODE   = (FLOW_VERIFY_IDCODE)," &
  "PROC_PROGRAM(array)  = (FLOW_PROGRAM(array))," &
  "TEST_VERIFY_PROGRAM(array)     = (FLOW_VERIFY_H(array),FLOW_VERIFY_L(array))," &
  "PROC_VERIFY(array)   = (FLOW_VERIFY(array))," &
  "PROC_PROGRAM_DONE    = (FLOW_PROGRAM_DONE)," &
  "TEST_VERIFY_PROGRAM_DONEBIT    = (FLOW_VERIFY_PROGRAM_DONEBIT)," &
  "PROC_ERROR_EXIT      = (FLOW_ERROR_EXIT)";


attribute ISC_ACTION of EPM3032AT44 : entity is
  "IDCODE_READ  = (TEST_VERIFY_IDCODE)," &
  "ERASE        = (TEST_VERIFY_IDCODE RECOMMENDED," &
                   "PROC_ENABLE," &
                   "PROC_ERASE," &
                   "TEST_BLANKCHECK," &
                   "PROC_DISABLE)," &
  "PROGRAM      = (TEST_VERIFY_IDCODE RECOMMENDED," &
                   "PROC_ENABLE," &
                   "PROC_ERASE," &
                   "TEST_BLANKCHECK OPTIONAL," &
                   "PROC_PROGRAM(array)," &
                   "TEST_VERIFY_PROGRAM(array)," &
                   "PROC_PROGRAM_DONE," &
                   "PROC_DISABLE)," &
  "VERIFY       = (TEST_VERIFY_IDCODE RECOMMENDED," &
                   "PROC_ENABLE," &
                   "PROC_VERIFY(array)," &
                   "TEST_VERIFY_PROGRAM_DONEBIT," &
                   "PROC_DISABLE)";

-- *********************************************************************
-- *                            DESIGN WARNING                         *
-- *********************************************************************

attribute DESIGN_WARNING of EPM3032AT44 : entity is
  "This EPM3032AT44 BSDL file supports 1149.1 testing before device"&
  "configuration.  Boundary scan testing after configuration"& 
  "requires changes to this file.Please read the comments"&
  "at the top of the file for further instruction.";

end EPM3032AT44;

-- *********************************************************************
-- *                            REVISION HISTORY                       *
-- *********************************************************************
--    Revision        Date       Description                      
--    3.00 Mod 1.20   07/17/2007 Update important notice, design warning 
--				 & include revision history. Delete 
--				 INSTRUCTION_OPCODE ISC_READ_INFO &
--				 REGISTER_ACCESS ISC_Info