[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Mon, 15 Apr 2002 00:05:02 -0400 (EDT)

NU Programming Languages Seminar
Wednesday, April 17, 2002
306 Egan  Hall, Northeastern University
    (building 44 on http://www.campusmap.neu.edu/)
**9:30-11:30**  **NOTE NEW MEETING TIME**

Prof. Jonathan P. Bowen, South Bank University, London, UK

will present

The Operational Semantics and Animation of the VERILOG Hardware Description


The VERILOG Hardware Description Language (HDL) is widely used in
industry, despite the fact that the semantics is only informally
defined as an IEEE standard. This talk presents a formalization of the
key aspects of VERILOG using an operational semantics approach. The
semantics have been formulated using the logic programming language
Prolog. This allows the possibility of animating VERILOG programs
directly from the semantic description. Using this approach enables
the exploration of sometimes subtle behaviours of parallel programs
and the possibility of rapid changes or additions to the semantics of
the language covered. It also acts as a check on the validity of the
operational semantics.

[Kindly note that this presentation to pl-seminar is in addition to
his presentation to COE in the afternoon.  --Mitch]

Upcoming presentations:

4/24 to be announced

5/1 Alan Feuer: the Safe C Runtime Analyzer

5/8 Richard Rasala and/or Viera Proulx: Program Patterns in the Java
Power Tools toolkit (tentative).

Most meetings will be 930-1130 in 306 EG.