Suchergebnisse - "switching theory. General Terms Algorithms"

A New Approach to the Use of Satisfiability in False Path Detection

Autoren: Felipe S. Marques Renato P. Ribas Sachin Sapatnekar et al.

Weitere Verfasser: Felipe S. Marques Renato P. Ribas Sachin Sapatnekar et al.

Quelle: http://www.ee.umn.edu/users/sachin/conf/glsvlsi05ar.pdf.

Schlagwörter: Categories and Subject Descriptors B.6.3 [Logic Design, Design Aids – optimization, switching theory. General Terms Algorithms, Design, Theory. Keywords Unateness, False Paths, Satisfiability

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7397; http://www.ee.umn.edu/users/sachin/conf/glsvlsi05ar.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7397
http://www.ee.umn.edu/users/sachin/conf/glsvlsi05ar.pdf