共 50 条
- [22] Verification of Analog/mixed-signal circuits using labeled hybrid Petri nets IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, ICCAD, 2006, : 443 - +
- [23] Bounded model checking of analog and mixed-signal circuits using an SMT solver AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 66 - +
- [24] Verification of analog and mixed-signal circuits using timed hybrid Petri nets AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 426 - 440
- [26] A novel technique to detect Aging in Analog/Mixed-signal circuits PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
- [27] Concurrent error detection in analog and mixed-signal integrated circuits 38TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1996, : 1151 - 1156
- [30] Cryo-CMOS for Analog/Mixed-Signal Circuits and Systems 2020 IEEE CUSTOM INTEGRATED CIRCUITS CONFERENCE (CICC), 2020,