Browsing by Author "Rolf Drechsler"
Now showing 1 - 6 of 6
Results Per Page
Sort Options
Dataset Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits(MDPI AG, 2022) Kemal Çağlar Coşkun; Muhammad Hassan; Rolf DrechslerDistribution Equivalence Checking of System-Level and SPICE-Level Models of Linear CircuitsKemal Çağlar Coşkun; Muhammad Hassan; Rolf DrechslerDistribution Equivalence Checking of System-Level and SPICE-Level Models of Linear CircuitsKemal Çağlar Coşkun; Muhammad Hassan; Rolf DrechslerDistribution Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-SimulationSallar Ahmadi-Pour; Mathis Logemann; Vladimir Herdt; Rolf DrechslerDistribution Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-SimulationSallar Ahmadi-Pour; Mathis Logemann; Vladimir Herdt; Rolf DrechslerDataset Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation(MDPI AG, 2023) Sallar Ahmadi-Pour; Mathis Logemann; Vladimir Herdt; Rolf Drechsler