共 50 条
- [32] Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces Journal of Electronic Testing, 2013, 29 : 715 - 740
- [33] Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2013, 29 (05): : 715 - 740
- [34] Iterated Exact and Heuristic Algorithms for the Minimum Cost Bipartite Perfect Matching Problem with Conflict Constraints 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1032 - 1036
- [35] Toward Silicon-Proven Detailed Routing for Analog and Mixed-Signal Circuits 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [36] Towards Formal Verification of Analog Mixed Signal Designs using SPICE Circuit Simulation Traces 2009 1ST ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2009, : 162 - +
- [38] Novel PNP BJT Structure to Improve Matching Characteristics for Analog and Mixed Signal Integrated Circuit Applications IEICE TRANSACTIONS ON ELECTRONICS, 2013, E96C (05): : 663 - 668
- [40] Information Flow Tracking in Analog/Mixed-Signal Designs through Proof-Carrying Hardware IP PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 1703 - 1708