|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
IEEE, IEEE Standard VHDL Language, Reference Manual, IEEE, Inc., 345 East 47th Street, New York, NY 10017, USA, 1988
|
| |
2
|
ISO TC184/SC4/WG5, EXPRESS Language Reference Manual, ISO10303:Part 11 Version N14, April 1991
|
| |
3
|
R. Flood and M. Lockwood (ed.), The Nature of Time, Basil Blackwell Ltd., 1988
|
| |
4
|
R. M. Gale (ed.), The Philosophy of Time. Humanities Press, 1978
|
| |
5
|
C. A. Giumale, Towards a VHDL Model, Report ECIP2AJM/008-1, University of Manchester, 1992
|
| |
6
|
C.A. Giumale, Models of Time, Report ECI~/UM/009- 1, University of Manchester, 1992
|
| |
7
|
|
| |
8
|
L. Schaefers, W. Mueller and W. Wilkes, Examination of concepts in existing modelling languages / methodologies to Model Behavioural Semantics, Deliverable Report ECIlY2/HU/008-1, 1992
|
| |
9
|
J. P. Van Tassel, A formalistation of the VHDL simulation cycle, Technical Report No.249, Computer Laboratory, University of Cambridge, 1992
|
| |
10
|
P. A. Wilsey and K. A. Davis, Modeling VHDL's execution semantics in EXPRESS, Unpublished paper, 1992
|
|