共 50 条
- [21] Equivalence Checking of High-Level Designs Based on Symbolic Simulation [J]. 2009 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLUMES I & II: COMMUNICATIONS, NETWORKS AND SIGNAL PROCESSING, VOL I/ELECTRONIC DEVICES, CIRUITS AND SYSTEMS, VOL II, 2009, : 1129 - +
- [23] Enhancing topological ATPG with high-level information and symbolic techniques [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 504 - 509
- [24] Finite symbolic reachability graphs for high-level Petri nets [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
- [25] Enhancing Bug Hunting Using High-Level Symbolic Simulation [J]. GLSVLSI 2009: PROCEEDINGS OF THE 2009 GREAT LAKES SYMPOSIUM ON VLSI, 2009, : 417 - 420
- [27] Concept Cells through Associative Learning of High-Level Representations [J]. NEURON, 2014, 84 (02) : 248 - 251
- [28] Content-based image retrieval and high-level representations [J]. INTERNET IMAGING III, 2002, 4672 : 129 - 138
- [29] REPRESENTATIONS IN HIGH-LEVEL VISION - REASSESSING THE INVERSE OPTICS PARADIGM [J]. IMAGE UNDERSTANDING WORKSHOP /, 1989, : 944 - 949