Accurate Computation of Longest Sensitizable Paths using Answer Set Programming

Konferenz: Zuverlässigkeit und Entwurf - 6. GMM/GI/ITG-Fachtagung
25.09,2012 - 27.09.2012 in Bremen, Deutschland

Tagungsband: Zuverlässigkeit und Entwurf

Seiten: 4Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

Andres, Benjamin; Gebser, Martin; Schaub, Torsten (University of Potsdam, August-Bebel-Strasse 89, 14482 Potsdam, Germany)
Sauer, Matthias; Schubert, Tobias; Becker, Bernd (Albert-Ludwigs-University Freiburg, Georges-Köhler-Allee 051, 79110 Freiburg, Germany)

Precise knowledge of the longest sensitizable paths in a circuit is crucial for various tasks in computer-aided design, including timing analysis, performance optimization, delay testing, and speed binning. As delays in today’s nanoscale technologies are increasingly affected by statistical parameter variations, there is significant interest in obtaining sets of paths that are within a length range. We present an ASP-based method for computing well-defined sets of sensitizable paths within a length range. Unlike previous approaches, the method is accurate and does not rely on a priori relaxations. Experimental results demonstrate the applicability and scalability of our method.