Close
 

Organization

Johannes Kepler University Linz
Presenters
Lukas Burgholzer
Daniel Grosse
Stefan Hillmich
Lucas Klemmer
Tom Peham
Alexander Ploier
Robert Wille
Presentations
Research Manuscript
Equivalence Checking Paradigms in Quantum Circuit Design: A Case Study
Design
Quantum Computing
Research Manuscript
Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability
EDA
Design Verification and Validation
Research Manuscript
Handling Non-Unitaries in Quantum Circuit Equivalence Checking
Design
Quantum Computing
Research Manuscript
Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic
Design
Emerging Device Technologies
Special Session (Research)
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and more
Design
Research Manuscript
Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools
EDA
Design Verification and Validation
Late Breaking Results Poster
Networking Reception
Waveform-based Performance Analysis of RISC-V Processors