On Line Papers
Temporal Analysis for Time-Bounded Causal Digital Systems
(Postscript) (PDF)
Alan R. Martello; PhD dissertation (1993)
Temporal Analysis of Time Bounded Digital Systems
(Postscript) (PDF)
Alan R. Martello and Steven P. Levitan;
(in) Correct Hardware Design and Verification Methods;
George J. Milne and Laurence Pierre Eds.; Springer-Verlag Lecture Notes in Computer Science Vol. 683; pp. 27-38;
IFIP WG10.2 Advanced Research Working Conference on
Correct Hardware Design and Verification Methods, CHARME'93; Arles, France;
24-26 May 1993.
Temporal Specification Verification via Causal Reasoning
(Postscript) (PDF)
Alan R. Martello, Steven P. Levitan
Proceedings of the 1992 ACM International Workshop on
Timing Issues in the Specification and Synthesis of Digital Systems
(TAU '92)
Causal Timing Verification
(Postscript) (PDF)
Alan R. Martello, Steven P. Levitan
Proceedings of the 1990 ACM International Workshop on
Timing Issues in the Specification and Synthesis of Digital Systems
(TAU '90)
Timing Verification Using HDTV
(Postscript) (PDF)
Alan R. Martello, Steven P. Levitan, Donald M. Chiarulli
Proceedings of the 27th
IEEE/ACM Design Automation Conference pp. 118-123; Orlando, FL,
June 24-28, 1990