共 43 条
- [21] 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
- [22] The Application of Multisim Simulation Platform in Teaching and Scientific Research of Mixed-signal Circuit PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON CULTURE, EDUCATION AND FINANCIAL DEVELOPMENT OF MODERN SOCIETY (ICCESE 2017), 2017, 103 : 216 - 220
- [27] Using Analog Circuit Behavior to Generate SystemC Events for an Acceleration of Mixed-Signal Simulation 2011 IEEE 29TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2011, : 108 - 112
- [29] Analog/mixed-signal circuit verification using models generated from simulation traces AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 114 - +
- [30] Towards Formal Verification of Analog Mixed Signal Designs using SPICE Circuit Simulation Traces 2009 1ST ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2009, : 162 - +