Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Konferenzen

Sortieren nach: [ Titel ] [ Autor ] [ Konferenz ] [ Referenz ]
Suche nach:




» Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars




Autor:

Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Tokyo, Japan, 2023
Hyperlink:

[Link zur Konferenz]



» Polynomial Formal Verification: Ensuring Correctness under Resource Constraints




Autor:

Rolf Drechsler, Alireza Mahzoon
Konferenz:
International Conference on Computer Aided Design (ICCAD)
Referenz:

San Diego, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization




Autor:

Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Konferenz:
Formal Methods in Computer-Aided Design (FMCAD)
Referenz:

Trento, Italy, 2022
Hyperlink:

[Link zur Konferenz]



» Preserving Design Hierarchy Information for Polynomial Formal Verification




Autor:

Rolf Drechsler, Alireza Mahzoon
Konferenz:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Referenz:

Patras, Greece, 2022
Hyperlink:

[Link zur Konferenz]



» Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications




Autor:

Kamalika Datta, Saman Froehlich, Saeideh Shirinzadeh, Dev Narayan, Yadav Indranil Sengupta and Rolf Drechsler
Konferenz:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Referenz:

Patras, Greece, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Fast and Exact is Doable: Polynomial Algorithms in Test and Verification




Autor:

Rolf Drechsler
Konferenz:
IEEE Latin-American Test Symposium (LATS)
Referenz:

Virtual Conference, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Design Modification for Polynomial Formal Verification




Autor:

Rolf Drechsler, Alireza Mahzoon
Konferenz:
2022 International Symposium on Electrical, Electronics and Information Engineering (ISEEIE)
Referenz:

Virtual Conference, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Neural Hardware Search: Power Estimation of CNNs for GPGPUs with Dynamic Frequency Scaling




Autor:

Christopher Metz, Mehran Goli, Rolf Drechsler
Konferenz:
ACM/IEEE Workshop on Machine Learning for CAD (MLCAD)
Referenz:

Snowbird, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Next Generation Design For Testability, Debug and Reliability Using Formal Techniques




Autor:

Sebastian Huhn and Rolf Drechsler
Konferenz:
International Test Conference (ITC)
Referenz:

Anaheim, CA, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device




Autor:

Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Referenz:

Linz, Austria, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification




Autor:

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Referenz:

Linz, Austria, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» 3D Visualization of Symbolic Execution Traces




Autor:

Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Referenz:

Linz, Austria, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification




Autor:

Sören Tempel, Vladimir Herdt and Rolf Drechsler
Konferenz:
Automated Technology for Verification and Analysis (ATVA)
Referenz:

Beijing, China, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Simulation-Based Debugging of Formal Environment Models




Autor:

Tim Meywerk, Arthur Niedzwiecki, Vladimir Herdt and Rolf Drechsler
Konferenz:
The 30th Mediterranean Conference on Control and Automation (MED)
Referenz:

Athen, Griechenland, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» AQuCiDe: Architecture Aware Quantum Circuit Decomposition




Autor:

Soumya Sengupta, Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler
Konferenz:
2022 International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA)
Referenz:

Knoxville, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study




Autor:

Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler and Klaus McDonald-Maier
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Generation of Verified Programs for In-Memory Computing




Autor:

Saman Froehlich and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Polynomial Formal Verification of Approximate Adders




Autor:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library




Autor:

Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles




Autor:

Kamalika Datta, Saeideh Shirinzadeh, Phrangboklang Lyngton Thangkhiew, Indranil Sengupta and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt