related documents

• ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES  Conference Proceeding
• Analog/mixed-signal circuit verification using models generated from simulation traces  Conference Proceeding
• Bounded model checking of analog and mixed-signal circuits using an SMT solver  Conference Proceeding