Newsgroups: comp.arch,comp.specification,uk.jobs,comp.sys.transputer
From: geoff@pact.srf.ac.uk (Geoff Barrett)
Reply-To: chamrec@inmos.co.uk
Subject: Formal Verification Jobs at INMOS, UK
Summary: job advert
Keywords: formal, verification, jobs
Organization: University of Bristol, England
Date: Thu, 3 Mar 1994 12:30:38 GMT
Message-ID: <CM39F3.CsE@info.bris.ac.uk>


*** PLEASE CROSS-POST THIS ARTICLE TO ANY NEWSGROUP TO WHICH IT IS
    APPROPRIATE OR FORWARD BY E-MAIL ***

The Chameleon microprocessor development programme was launched by
INMOS, a member of the SGS-Thomson microelectronics group.  Over 1994,
it will grow to a team of 150 specialists working in the UK, France and
Italy.

Chameleon is the largest microprocessor development programme ever seen
in Europe.  It is supported by SGS-THOMSON, which employs 18,000 staff,
has 9 advanced R & D units and 25 design centres worldwide and invests
approximately 20% of its turnover in R & D each year.

The programme will develop state-of-the-art microprocessors which will
be used in products manufactured at integration levels of over 10
million transistors, using SGS-THOMSON's advanced 0.5/0.35 micron
8-inch wafer manufacturing facility at Crolles, near Grenoble, France.
The first Chameleon products will be introduced to address fast-growing
microprocessor markets in computing, communications and multimedia.  A
vital part of the programme is the development of design tools capable
of delivering correct designs at this level of integration.


Verification engineers


The design of the chameleon products will exploit state-of-the-art
design tools and techniques.  Verification engineers will work
alongside system, logic and circuit designers to ensure that the first
silicon products are free of errors.

Formal specification techniques are already in use to ensure that the
first product definitions are complete and unambiguous.  At the same
time, new design tools are under construction.  Symbolic simulators,
model checkers and property checkers will be used to give designers
rapid and comprehensive verification of complex control logic, whilst
theorem provers will be used in the verification of algorithms
implemented in hardware or microcode.



We are now looking for verification engineers to work in a small team
headed by David May and Geoff Barrett involved in the development and
aplication of verification tools.

Anyone interested should send their CV by e-mail to:

  chamrec@inmos.co.uk

or by post to our consultant:

  Geoffrey King
  Cambridge Recruitment Consultants
  11 King's Parade
  Cambridge CB2 1SJ


1)  VHDL integration


The immediate responsibility will be the development of tools which
generate formal descriptions of VHDL.  The work will be performed in
close collaboration with a major CAD vendor.  It is intended that the
first version of the tools will be ready for use in the design of the
first chameleon products later this year.

The successful candidate will have a background in computer science and
the ability to maintain software.  He or she will need to be able to
develop an in-depth knowledge of the semantics of VHDL and of
techniques for the efficient representation of state machines.


2)  Functional test pattern generation


The immediate responsibility will be the development of tools which
generate functional test vectors from formal specifications and the
design and implementation of coverage metrics.  It is intended that the
tools will be ready for use in the design of the first chameleon
products later this year.  The tools which are developed will later be
extended to target symbolic simulators.

The successful candidate will have a background in computer science and
the ability to maintain software.  He or she will need to be able to
develop a working knowledge of the semantics of formal specification
languages and of standard hardware testing procedures.


3)  Functional characterization of circuits


The immediate responsibility will be the development of tools which
generate formal descriptions of circuits.  The work will be performed
in close collaboration with circuit designers.  It is intended that the
first version of the tools will be ready for use in the design of the
first chameleon products later this year.

The successful candidate will have a background in computer science and
the ability to maintain software.  He or she will need to be able to
develop an in-depth knowledge of the functional behaviour of VLSI
circuits and of efficient representations of this functionality.


4)  Correctness of algorithms


The immediate responsibility will be the development of tools which
verify the algorithms which are implemented in hardware or microcode.
The work will be performed in close collaboration with systems
designers and end-user applications providers.  It is intended that the
first version of the tools will be ready for use in the design of the
first chameleon products later this year.

The successful candidate will have a background in computer science and
the ability to maintain software.  He or she will need to be able to
develop an in-depth knowledge of the theories of correctness for
algorithm design and of automatic theorem proving techniques.



--
------------------------------------------------------------------------
Geoff Barrett		10 Priory Road, Clifton, Bristol BS8 1TU
SRF-PACT     		Tel: +44 272 707185	Fax: +44 272 707171
------------------------------------------------------------------------

