Interface timing verification with delay correlation using constraint logic programming

This publication has 15 references indexed in Scilit:

• Algorithms for interface timing verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Specification and analysis of timing constraints in signal transition graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Retargetable Self-Test Program Generation Using Constraint Logic Programming
  Proceedings of the 39th conference on Design automation - DAC '02, 1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Statistical timing analysis of combinational logic circuits
  IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1993
• Integrating Behavior and Timing in Executable Specifications
  Published by Elsevier ,1993
• Consistency and satisfiability of waveform timing specifications
  Networks, 1991
• An introduction to Prolog III
  Communications of the ACM, 1990
• Consistency in networks of relations
  Artificial Intelligence, 1977
• Networks of constraints: Fundamental properties and applications to picture processing
  Information Sciences, 1974