RoseVectors.Mesa
Last Edited by: Spreitzer, December 12, 1985 12:15:10 pm PST
Last Edited by: Gasbarro, August 16, 1984 4:03:20 pm PDT
Louis Monier December 11, 1985 3:46:10 pm PST
DIRECTORY RoseTypes;
RoseVectors: CEDAR DEFINITIONS =
BEGIN OPEN RoseTypes;
Stream Format:
Header: PortCount PortElt*
PortCount: integer
PortElt: PortName PortSize
PortName: rope literal
PortSize: integer
the number of bits for this port
Vector: Elt*
Elt: (Authority Strength Value) | "."
Dot means "same as last time"
Authority: "0" | "1" | "2" | "3"
oddness means cell under test asserts this value*strength
>=2 means tester asserts this value*strength
Strength: "0" | "1" | ... | "F"
Value: hex digits
right-justified
WriteHeader: PROC [to: STREAM, cell: Cell];
WriteVector: PROC [to: STREAM, cell: Cell];
END.