mrb@sei.cmu.edu (Mario Barbacci) (12/01/87)
- - -
CALL FOR PAPERS
INTERNATIONAL WORKING CONFERENCE ON
"THE FUSION OF HARDWARE DESIGN AND VERIFICATION"
JULY 4-6, 1988
UNIVERSITY OF STRATHCLYDE
GLASGOW
SCOTLAND
The ever-increasing complexity of integrated circuits, coupled with the need to
quickly and accurately produce new designs, has caused a surge of interest in
mathematically-based design and validation techniques. Established software
engineering techniques underpinned by formal theories have begun to be
successfully applied to the task of verifying design correctness. Research
into hardware verification has reached a certain maturity, and a number of
distinct approaches have recently emerged. The inherent complexity of
integrated circuits creates real problems when verification is attempted on
completed designs. A solution to this problem has appeared with the advocacy
of the close integration of design and verification throughout all the steps of
the design process.
The fusion of verification with VLSI design appears to be a promising
methodology for the future, where the ultimate goal is the inclusion of formal
verification within CAD systems. This international working conference aims to
explore issues relating to the integration of design and verification,
including the practical issues of applying formal techniques to CAD.
Topics which the conference will embrace include the following:
design and verification languages
design and verification methodologies
formal verification and simulation
verification within CAD systems
implementing verification systems
behavioral models for hardware
multi-level simulation within the design cycle
behaviorally correct architectural synthesis.
The working conference is sponsored by IFIP Working Group 10.2, Digital System
Description and Design Tools. It is the fourth in a series on related areas of
hardware verification; previous conferences have been held in Darmstadt(1984),
Edinburgh (1985) and Grenoble (1986). The objective to bring together
researchers, developers and users in this emerging area, with participants
being drawn from the industrial and academic worlds. It is intended that the
conference be kept small and informal to permit a close interaction between
participants. Attendance will be by invitation.
If you would like to participate, please submit a brief description of your
research interests to the Chairman by April 1st, 1988. If you would like to
make a presentation ( > 1 hour), please submit a paper in English to reach the
conference Chairman no later than March 1st, 1988.
Following the review process, notification of the acceptance of papers will be
by April 21st, 1988, with camera-ready manuscripts due on June 7th, 1988. The
proceedings will be published.
An opportunity will also exist for short, informal presentations on ongoing
work. Please indicate to the Chairman your intention to use this facility.
Conference Chairman: Conference Committee:
George J. Milne Francois Anceau, Bull Research
Department of Computer Science Dominique Borrione, Univ. de Provence
University of Strathclyde Hans Eveking, T. Hochschule Darmstadt
26 Richmond Street George Milne, University of Strathclyde
Glasgow G1 1XH
Scotland, U.K.
phone: (44) 41 552 4400, ext: 3551.
telex: 77472 (UNSLIB-G).
- - -