% $Log:	abstract.tex,v $
% Revision 1.1  90/05/04  10:41:01  lwvanels
% Initial revision
% 
%
%% The text of your abstract and nothing else (other than comments) goes here.
%% It will be single-spaced and the rest of the text that is supposed to go on
%% the abstract page will be generated by the abstractpage environment.  This
%% file should be \input (not \include 'd) from cover.tex.

The cost of developing software for embedded systems is currently very
high.  This thesis discusses a tool called SOTEST, which can
dramatically reduce embedded system development time (and, therefore,
cost).  SOTEST makes possible the debugging of software for an
embedded system on a workstation, without any of the hardware for the
embedded system.  The system includes a microprocessor simulator for
the Intel 80186, a symbolic debugger that understands Microsoft
debugging information, and an interpreter for a unique hardware
modeling language.  The hardware modeling language is designed from a
microprocessor-instruction point of view rather than from a signal
point of view.  The thesis discusses SOTEST's design and
implementation, and attempts to illuminate the key features that make
SOTEST useful.
