共 50 条
- [5] Binary decision diagrams (BDDs) for the test pattern generation SOFTWARE FOR ELECTRICAL ENGINEERING ANALYSIS AND DESIGN, 1996, : 95 - 104
- [7] Functional simulation using Binary Decision Diagrams 1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 8 - 12
- [8] Generation of test patterns for defect and noise in VLSI circuits using binary decision diagrams FIFTH INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, 2009, 7133
- [9] Automatic test pattern generation for functional RTL circuits using assignment decision diagrams 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 43 - 48
- [10] FUNCTIONAL TESTING WITH BINARY DECISION DIAGRAMS JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING, 1978, 2 (04): : 311 - 331