Author of the publication

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.

, , , and . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (January 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Notion of Cross Coverage in AMS Design Verification., , , , , and . ASP-DAC, page 217-222. IEEE, (2020)The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (12): 5695-5708 (2022)Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions., , , , , , and . VLSID, page 132-137. IEEE, (2022)Fault Classification and Coverage of Analog Circuits using DC Operating Point and Frequency Response Analysis., , , , and . ACM Great Lakes Symposium on VLSI, page 123-128. ACM, (2019)CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications., , , and . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (January 2023)Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits., , , , , , and . DATE, page 1-6. IEEE, (2023)Accelerating Defect Simulation in Analog and Mixed-Signal Circuits by Parallel Defect Injection., , , and . VLSID, page 325-330. IEEE, (2023)A Structured Approach for Rapid Identification of Fault-Sensitive Nets in Analog Circuits., , , and . ATS, page 135-140. IEEE, (2019)Recurrence in Dense-time AMS Assertions., , and . CoRR, (2020)A Framework for Automated Feature Based Mixed-Signal Equivalence Checking., , and . VDAT, volume 711 of Communications in Computer and Information Science, page 779-791. Springer, (2017)