Symbolic Path Sensitization Analysis and Applications

16th Asian Test Symposium (ATS 2007) ◽

10.1109/ats.2007.21 ◽

2007 ◽

Author(s):

Jian Kang ◽

Sharad C. Seth ◽

Shashank K. Mehta

Keyword(s):

Path Sensitization

Download Full-text

Solving the path sensitization problem in linear time

[1992] Proceedings The European Conference on Design Automation ◽

10.1109/edac.1992.205959 ◽

2003 ◽

Cited By ~ 3

Author(s):

P. Altenbernd ◽

J. Strathaus

Keyword(s):

Linear Time ◽

Path Sensitization

Download Full-text

False aggressors pruning using path sensitization and logic implications

Proceedings of 2004 IEEE Asia-Pacific Conference on Advanced System Integrated Circuits APASIC-04 ◽

10.1109/apasic.2004.1349471 ◽

2004 ◽

Author(s):

Hyungwoo Lee ◽

Juho Kim

Keyword(s):

Path Sensitization

Download Full-text

PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization

IEEE Transactions on Computers ◽

10.1109/tc.2015.2458869 ◽

2016 ◽

Vol 65 (6) ◽

pp. 1869-1881 ◽

Cited By ~ 9

Author(s):

Matthias Sauer ◽

Bernd Becker ◽

Ilia Polian

Keyword(s):

Path Sensitization

Download Full-text

Performance optimization by gate sizing and path sensitization

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.703945 ◽

1998 ◽

Vol 17 (5) ◽

pp. 459-462 ◽

Cited By ~ 4

Author(s):

J. Kim ◽

D.H.C. Du

Keyword(s):

Performance Optimization ◽

Gate Sizing ◽

Path Sensitization

Download Full-text

Dynamic search-space pruning techniques in path sensitization

32nd Design Automation Conference ◽

10.1145/196244.196621 ◽

1994 ◽

Cited By ~ 18

Author(s):

João P. Marques Silva ◽

Karem A. Sakallah

Keyword(s):

Search Space ◽

Path Sensitization ◽

Dynamic Search ◽

Search Space Pruning ◽

Pruning Techniques

Download Full-text

Multiple path sensitization for hierarchical circuit testing

Proceedings. International Test Conference 1990 ◽

10.1109/test.1990.114013 ◽

2002 ◽

Author(s):

Chau-Chin Su ◽

C.R. Kime

Keyword(s):

Circuit Testing ◽

Multiple Path ◽

Path Sensitization

Download Full-text

Path sensitization in critical path problem

1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers ◽

10.1109/iccad.1991.185233 ◽

2002 ◽

Cited By ~ 90

Author(s):

H.-C. Chen ◽

D.H.C. Du

Keyword(s):

Critical Path ◽

Path Sensitization

Download Full-text

A MILP-based approach to path sensitization of embedded software

2009 Design, Automation & Test in Europe Conference & Exhibition ◽

10.1109/date.2009.5090913 ◽

2009 ◽

Author(s):

J.C. Costa ◽

J.C. Monteiro

Keyword(s):

Embedded Software ◽

Path Sensitization

Download Full-text

Concurrent path sensitization in timing analysis

Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference ◽

10.1109/eurdac.1993.410637 ◽

2002 ◽

Cited By ~ 1

Author(s):

J. Marques Silva ◽

K.A. Sakallah

Keyword(s):

Timing Analysis ◽

Path Sensitization

Download Full-text

Packet Security with Path Sensitization for NoCs

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.3850/9783981537079_0180 ◽

2016 ◽

Cited By ~ 4

Author(s):

Travis Boraten ◽

Avinash Karanth Kodi

Keyword(s):

Path Sensitization

Download Full-text