Lecture Notes in Computer Science

2022

DOI: 10.1007/978-3-031-09827-7_5

|View full text |Cite

|

Sign up to set email alerts

|

Fuzzing and Delta Debugging And-Inverter Graph Verification Tools

Daniela Kaufmann

¹

,

²

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

0

Mentioning

0

Contrasting

0

Year Published

2022

2022

2024

2024

Publication Types

Select...

Book2

Other2

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

References 19 publications

Supporting

0

Mentioning

0

Contrasting

0

Order By: Relevance

Fuzzing and Delta Debugging And-Inverter Graph Verification Tools

¹

,

²

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

No abstract

Fuzzing and Delta Debugging And-Inverter Graph Verification Tools

¹

,

²

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

No abstract

VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification

Temel

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Formal verification of multipliers is difficult. This paper pre-sents a custom tool, VeSCMul, designed to address this problem. VeSCMul can be effectively applied to a wide range of hardware verification challenges, including multipliers with saturation, flags, shifting, truncation, accumulation, dot product, and even floating-point multiplication. The tool is highly automated with a user-friendly interface, and it is very efficient; for instance, verification for designs with 64-bit operands can finish in seconds. Notably, VeSCMul has been successfully utilized for both commercial designs and publicly available benchmarks. Regarding the reliability of its results, VeSCMul itself is fully verified, instilling confidence in its users for soundness. It also has the option to be used with a SAT solver for completeness and counterexample generation. Readers of this paper will gain insights into the capabilities and limitations of VeSCMul, as well as how to employ it for the verification of their own designs.

Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification

Liu,

Liao,

Huang

et al. 2024

2024 Design, Automation &Amp;amp; Test in Europe Conference &Amp;amp; Exhibition (DATE)

View full text Add to dashboard Cite

No abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Product

Browser Extension Assistant by scite Citation Statement Search Reference Check Visualizations Dashboards Explore Journals Explore Organizations Explore Funders Embedding Badge Embedding Citation Search Pricing

Resources

Blog Help & FAQ Accessibility Statement API Terms For Universities & Governments For Researchers For Publishers For Corporate, Pharma & Enterprise Author Marketing Become an Affiliate Get an organization trial or quote scite Data & Services

About

News & Press Careers Read our Paper Coverage

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Copyright © 2024 scite LLC. All rights reserved.

Made with 💙 for researchers

Part of the Research Solutions Family.