David Luckham - Academia.edu (original) (raw)
Uploads
Papers by David Luckham
Lecture Notes in Computer Science, 1987
The Kluwer international series in engineering and computer science, 1991
This chapter illustrates some ways of using VAL annotations in the design process; that is, the p... more This chapter illustrates some ways of using VAL annotations in the design process; that is, the process of specifying an entity, and subsequently refining a specification into an architecture of simpler component entities. The top-down approach from specification to implementation is emphasized throughout. The examples given here are intended to be suggestive of various uses of annotations, and are not exhaustive nor complete in any sense. The design process is still very much an area for research, and VAL annotations simply present the designer with a new tool, some of whose applications are shown here.
The Kluwer international series in engineering and computer science, 1991
The AND gate in this example has different propagation delays from each of its two inputs. In add... more The AND gate in this example has different propagation delays from each of its two inputs. In addition, the propagation delay depends on the current output of the gate. Such delay characteristics are not unusual in real implementations of AND gates.
Lecture Notes in Computer Science, 1987
Springer eBooks, 1991
In order for VAL annotations to be machine processable, they have to be transformed into some mac... more In order for VAL annotations to be machine processable, they have to be transformed into some machine executable form. For simulation purposes, there are two possibilities: (1) to transform VAL annotated VHD L into pure VHDL and then use the existing VHDL compiler to transform the pure VHDL into data processable by the simulation engine, or (2) to directly transform the VAL annotated VHDL into data processable by the simulation engine.
The Kluwer international series in engineering and computer science, 1991
The Kluwer international series in engineering and computer science, 1991
Lecture Notes in Computer Science, 1987
The Kluwer international series in engineering and computer science, 1991
This chapter illustrates some ways of using VAL annotations in the design process; that is, the p... more This chapter illustrates some ways of using VAL annotations in the design process; that is, the process of specifying an entity, and subsequently refining a specification into an architecture of simpler component entities. The top-down approach from specification to implementation is emphasized throughout. The examples given here are intended to be suggestive of various uses of annotations, and are not exhaustive nor complete in any sense. The design process is still very much an area for research, and VAL annotations simply present the designer with a new tool, some of whose applications are shown here.
The Kluwer international series in engineering and computer science, 1991
The AND gate in this example has different propagation delays from each of its two inputs. In add... more The AND gate in this example has different propagation delays from each of its two inputs. In addition, the propagation delay depends on the current output of the gate. Such delay characteristics are not unusual in real implementations of AND gates.
Lecture Notes in Computer Science, 1987
Springer eBooks, 1991
In order for VAL annotations to be machine processable, they have to be transformed into some mac... more In order for VAL annotations to be machine processable, they have to be transformed into some machine executable form. For simulation purposes, there are two possibilities: (1) to transform VAL annotated VHD L into pure VHDL and then use the existing VHDL compiler to transform the pure VHDL into data processable by the simulation engine, or (2) to directly transform the VAL annotated VHDL into data processable by the simulation engine.
The Kluwer international series in engineering and computer science, 1991
The Kluwer international series in engineering and computer science, 1991