Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer US

9781461285717, 9781461313298

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Redundancy Identification

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_8 ◽

1996 ◽

pp. 97-101

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Keyword(s):

Redundancy Identification

Download Full-text

Experimental Results

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_7 ◽

1996 ◽

pp. 75-95

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Keyword(s):

Experimental Results

Download Full-text

Sequential Circuit Test Generation

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_4 ◽

1996 ◽

pp. 37-54

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Keyword(s):

Test Generation ◽

Sequential Circuit

Download Full-text

Introduction

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_1 ◽

1996 ◽

pp. 3-9

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Download Full-text

The Sest Algorithm

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_6 ◽

1996 ◽

pp. 59-73

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Download Full-text

Conclusion

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_10 ◽

1996 ◽

pp. 109-110

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Download Full-text

Logic Verification

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_9 ◽

1996 ◽

pp. 103-108

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Keyword(s):

Logic Verification

Download Full-text

Fault Effects

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_5 ◽

1996 ◽

pp. 55-58

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Download Full-text

Justification in Finite State Space

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_3 ◽

1996 ◽

pp. 25-34

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Keyword(s):

State Space ◽

Finite State ◽

Finite State Space

Download Full-text

Justification Equivalence

Efficient Branch and Bound Search with Application to Computer-Aided Design - Frontiers in Electronic Testing ◽

10.1007/978-1-4613-1329-8_2 ◽

1996 ◽

pp. 11-23

Author(s):

Xinghao Chen ◽

Michael L. Bushnell

Download Full-text