util
Class SMOKVerifier

java.lang.Object
  |
  +--util.SMOKVerifier

public class SMOKVerifier

extends java.lang.Object

A SMOK model verifier. Runs a shadow implementation in sync with a SMOK model. SMOK communicates with the verifier by way of sending triples of the following form: [cycle] [type] [value]. The verifier responds back with the following responses:

1. OK
2. ERROR [type]

Nested Class Summary

class

SMOKVerifier.Checker

Field Summary

(package private) SMOKVerifier.Checker[]	checkers
static int	CTL_EXIT
static int	CTL_INIT
(package private) long	cycle
(package private) java.io.PrintStream	dump
(package private) java.io.StreamTokenizer	in
(package private) Mips	machine
static int	MEMW_ADDR
static int	MEMW_ENABLE
static int	MEMW_VAL
static int	NUM_TYPES
(package private) java.io.PrintStream	out
static int	PC
static int	REGW_ADDR
static int	REGW_ENABLE
static int	REGW_VAL
static java.lang.String[]	typeNames
(package private) int[]	vals
(package private) boolean[]	valsReceived

Constructor Summary

SMOKVerifier(java.io.InputStream is, java.io.OutputStream os)

Method Summary

static void	main(java.lang.String[] args)
void	run()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

typeNames

public static final java.lang.String[] typeNames

CTL_INIT

public static final int CTL_INIT

See Also:

Constant Field Values

CTL_EXIT

public static final int CTL_EXIT

See Also:

Constant Field Values

PC

public static final int PC

See Also:

Constant Field Values

MEMW_ADDR

public static final int MEMW_ADDR

See Also:

Constant Field Values

MEMW_VAL

public static final int MEMW_VAL

See Also:

Constant Field Values

MEMW_ENABLE

public static final int MEMW_ENABLE

See Also:

Constant Field Values

REGW_ADDR

public static final int REGW_ADDR

See Also:

Constant Field Values

REGW_VAL

public static final int REGW_VAL

See Also:

Constant Field Values

REGW_ENABLE

public static final int REGW_ENABLE

See Also:

Constant Field Values

NUM_TYPES

public static final int NUM_TYPES

See Also:

Constant Field Values

machine

Mips machine

out

java.io.PrintStream out

dump

java.io.PrintStream dump

in

java.io.StreamTokenizer in

valsReceived

boolean[] valsReceived

vals

int[] vals

checkers

SMOKVerifier.Checker[] checkers

cycle

long cycle

Constructor Detail

SMOKVerifier

public SMOKVerifier(java.io.InputStream is,
                    java.io.OutputStream os)
             throws java.io.IOException

Method Detail

run

public void run()

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

java.lang.Exception