RevSCA-Reference-Cited by-同舟云学术

RevSCA

Published:2019-06-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 56th Annual Design Automation Conference 2019
language:
Short-container-title:

Author:

Mahzoon Alireza¹,Große Daniel²,Drechsler Rolf²

Affiliation:

1. Institute of Computer Science, University of Bremen, Germany

2. Institute of Computer Science, University of Bremen, Germany and DFKI GmbH, Bremen, Germany

Funder

German Excellence Initiative, Graduate School SyDe

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3316781.3317898

Reference19 articles.

1. Arithmetic module generator based on acg. available at https://www.ecsis.riec.tohoku.ac.jp/topics/amg/i-amg 2019 . Arithmetic module generator based on acg. available at https://www.ecsis.riec.tohoku.ac.jp/topics/amg/i-amg 2019.

2. High-speed and energy-efficient carry skip adder operating under a wide range of supply voltage levels;Bahadori M.;TVLSI,2016

3. Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect;ACM Transactions on Design Automation of Electronic Systems;2024-06-21

2. Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation;Formal Methods in System Design;2024-05-24

3. Formal Verification of Booth Radix-8 and Radix-16 Multipliers;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

4. VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification;Lecture Notes in Computer Science;2024

5. Optimization of Multiplication Circuit Verification Program Based on Pointer Operations;Advances in Applied Mathematics;2024