共 50 条
- [41] Distributed binary decision diagrams for verification of large circuits [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 365 - 370
- [44] Automatic test pattern generation for functional RTL circuits using assignment decision diagrams [J]. 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 43 - 48
- [45] Generation of test patterns for defect and noise in VLSI circuits using binary decision diagrams [J]. FIFTH INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, 2009, 7133
- [49] Temporal Bell inequalities, quantum measurements and decoherence in superconducting circuits [J]. COHERENCE AND QUANTUM OPTICS VII, 1996, : 667 - 668
- [50] Quantum simulation of decoherence in optical waveguide lattices [J]. OPTICS LETTERS, 2013, 38 (22) : 4884 - 4887