Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597148 ◽

2005 ◽

Cited By ~ 9

Author(s):

T. Amon ◽

G. Borriello ◽

Taokuan Hu ◽

Jiwen Liu

Keyword(s):

Timing Verification ◽

Timing Diagrams

Download Full-text

Symbolic timing verification of timing diagrams using Presburger formulas

Proceedings of the 34th annual conference on Design automation conference - DAC '97 ◽

10.1145/266021.266071 ◽

1997 ◽

Cited By ~ 14

Author(s):

Tod Amon ◽

Gaetano Borriello ◽

Taokuan Hu ◽

Jiwen Liu

Keyword(s):

Timing Verification ◽

Timing Diagrams

Download Full-text

A fast timing verification method based on the independence of units

[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers ◽

10.1109/ftcs.1989.105556 ◽

2003 ◽

Cited By ~ 4

Author(s):

T. Yoneda ◽

K. Nakade ◽

Y. Tohma

Keyword(s):

Timing Verification ◽

Verification Method ◽

Fast Timing

Download Full-text

Verification of a production cell controller using symbolic timing diagrams

Proceedings of EURO-DAC. European Design Automation Conference ◽

10.1109/eurdac.1995.527458 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Schlor ◽

F. Korf

Keyword(s):

Timing Diagrams ◽

Cell Controller ◽

Production Cell

Download Full-text

Timing verification of component-based vehicle software with rubus-ICE

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies - SQUADE '18 ◽

10.1145/3194095.3194103 ◽

2018 ◽

Author(s):

Saad Mubeen ◽

Mattias Gålnander ◽

Alessio Bucaioni ◽

John Lundbäck ◽

Kurt-Lennart Lundbäck

Keyword(s):

Timing Verification

Download Full-text

A new CMOS circuit representation for timing verification

10.1109/iscas.1988.14969 ◽

2003 ◽

Cited By ~ 1

Author(s):

J. Liao ◽

L.M. Ni

Keyword(s):

Cmos Circuit ◽

Timing Verification ◽

Circuit Representation

Download Full-text

OCP Coherence Extensions Timing Diagrams

Introduction to Open Core Protocol ◽

10.1007/978-1-4614-0103-2_11 ◽

2012 ◽

pp. 141-149

Author(s):

W. David Schwaderer

Keyword(s):

Timing Diagrams

Download Full-text

Temporal Modalities for Concisely Capturing Timing Diagrams

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/11560548_15 ◽

2005 ◽

pp. 176-190 ◽

Cited By ~ 2

Author(s):

Hana Chockler ◽

Kathi Fisler

Keyword(s):

Timing Diagrams

Download Full-text

Timing verification and optimization for the PowerPC processor family

Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors ◽

10.1109/iccd.1994.331929 ◽

2002 ◽

Cited By ~ 6

Author(s):

R.E. Mains ◽

T.A. Mosher ◽

L.P.P.P. van Ginneken ◽

R.F. Damiano

Keyword(s):

Timing Verification

Download Full-text

Unifying functional and parametric timing verification

Proceedings of the great lakes symposium on VLSI - GLSVLSI '12 ◽

10.1145/2206781.2206816 ◽

2012 ◽

Author(s):

Luis Guerra e Silva

Keyword(s):

Timing Verification

Download Full-text

Timing Verification

Static Timing Analysis for Nanometer Designs ◽

10.1007/978-0-387-93820-2_8 ◽

2009 ◽

pp. 227-316 ◽

Cited By ~ 1

Author(s):

J. Bhasker ◽

Rakesh Chadha

Keyword(s):

Timing Verification

Download Full-text