@article{KG:2024c,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {{WAVING} Goodbye to Manual Waveform Analysis in {HDL} Design with {WAL}},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)},
year = {2024},
volume = {43},
number = {10},
pages = {3198--3211},
url = {https://ieeexplore.ieee.org/document/10496480},
doi = {10.1109/TCAD.2024.3387312}
}
@inproceedings{KG:2024d,
title = {An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs},
author = {Lucas Klemmer and Daniel Gro{\ss}e},
booktitle = {Forum on Specification and Design Languages (FDL)},
pages = {1--8},
year = {2024},
url = {https://ics.jku.at/files/2024FDL_WAL-Cache-Performance-Analysis.pdf},
doi = {10.1109/FDL63219.2024.10673859}
}
@inproceedings{KSGG:2024,
author = {Lucas Klemmer and Frans Skarman and Oscar Gustafsson and Daniel Gro{\ss}e},
title = {{Surfer:} A Waveform Viewer as Dynamic as {RISC-V}},
booktitle = {RISC-V Summit Europe},
year = 2024,
code = {https://gitlab.com/surfer-project/surfer},
website = {https://surfer-project.org/},
url = {https://ics.jku.at/files/2024RISCVSummit_Surfer.pdf}
}
@inproceedings{GKB:2024,
author = {Daniel Gro{\ss}e and Lucas Klemmer and Dominik Bonora},
title = {Using Formal Verification Methods for Optimization of Circuits under External Constraints},
booktitle = {Design, Automation and Test in Europe Conference (DATE)},
pages = {1--6},
year = 2024,
url = {https://ics.jku.at/files/2024DATE_FSYN.pdf},
doi = {10.23919/DATE58400.2024.10546556}
}
@inproceedings{KG:2024,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {Towards a Highly Interactive Design-Debug-Verification Cycle},
booktitle = {Asia and South Pacific Design Automation Conference (ASP-DAC)},
pages = {692--697},
year = 2024,
url = {https://ics.jku.at/files/2024ASPDAC_WAL-VirtualSignals.pdf},
doi = {10.1109/ASP-DAC58780.2024.10473953}
}
@inproceedings{KBG:2023,
author = {Lucas Klemmer and Dominik Bonora and Daniel Gro{\ss}e},
title = {Large-scale Gatelevel Optimization Leveraging Property Checking},
booktitle = {IEEE Design and Verification Conference and Exhibition Europe (IEEE DVCon Europe)},
pages = {86--93},
year = 2023,
url = {https://ics.jku.at/files/2023DVConEurope_PSYN.pdf}
}
@inproceedings{SKGG:2023,
title = {Enhancing Compiler-Driven {HDL} Design with Automatic Waveform Analysis},
author = {Frans Skarman and Lucas Klemmer and Oscar Gustafsson and Daniel Gro{\ss}e},
booktitle = {Forum on Specification and Design Languages (FDL)},
pages = {1--8},
year = {2023},
url = {https://ics.jku.at/files/2023FDL_Enhancing-Compiler-Driven-HDL-Design-with-WAL.pdf},
doi = {10.1109/FDL59689.2023.10272204}
}
@inproceedings{KG:2023b,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {A {DSL} for Visualizing Pipelines: A {RISC-V} Case Study},
booktitle = {RISC-V Summit Europe},
year = 2023,
url = {https://ics.jku.at/files/2023RISCVSummit_DSLforVisualizingPipelines.pdf}
}
@inproceedings{KJG:2022,
author = {Lucas Klemmer and Eyck Jentzsch and Daniel Gro{\ss}e},
title = {Programmable Analysis of {RISC-V} Processor Simulations using {WAL}},
booktitle = {Design and Verification Conference and Exhibition Europe (DVCon Europe)},
year = 2022,
url = {https://ics.jku.at/files/2022DVCon_Programmable_Analysis_of_RISC-V_Processor_Simulations_using_WAL.pdf}
}
@inproceedings{KGG:2022,
title = {Formal Verification of {SUBLEQ} Microcode implementing the {RV32I} {ISA}},
author = {Lucas Klemmer and Sonja Gurtner and Daniel Gro{\ss}e},
booktitle = {Forum on Specification and Design Languages (FDL)},
pages = {1--8},
year = {2022},
url = {https://ics.jku.at/files/2022FDL_FormalVerificationSUBLEQMicrocode.pdf},
code = {https://github.com/ics-jku/goldcrest-microcode-verification},
note = {{\bf (Best Paper Award)}},
doi = {10.1109/FDL56239.2022.9925662}
}
@inproceedings{KG:2022d,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {An Exploration Platform for Microcoded {RISC-V} Cores Leveraging the One Instruction Set Computer Principle},
booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI)},
pages = {38--43},
year = 2022,
url = {https://ics.jku.at/files/2022ISVLSI_ExplorationPlatform_RISC-V_OISC.pdf},
code = {https://github.com/ics-jku/goldcrest-vp},
doi = {10.1109/ISVLSI54635.2022.00020}
}
@inproceedings{KSG:2022,
author = {Lucas Klemmer and Manfred Schl{\"{a}}gl and Daniel Gro{\ss}e},
title = {{RVVRadar:} A Framework for Supporting the Programmer in Vectorization for {RISC-V}},
booktitle = {ACM Great Lakes Symposium on VLSI (GLSVLSI)},
pages = {183--187},
year = 2022,
url = {https://ics.jku.at/files/2022GLSVLSI_RVVRadar.pdf},
code = {https://github.com/ics-jku/RVVRadar},
doi = {10.1145/3526241.3530388}
}
@inproceedings{KG:2022c,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {Waveform-based performance analysis of {RISC-V} processors: late breaking results},
booktitle = {Design Automation Conference (DAC)},
pages = {1404--1405},
year = 2022,
url = {https://ics.jku.at/files/2022DAC_LBR-Waveform-based-Performance-Analyisis-for-RISC-V.pdf},
doi = {10.1145/3489517.3530623}
}
@inproceedings{KG:2022,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {{WAL:} A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging},
booktitle = {Asia and South Pacific Design Automation Conference (ASP-DAC)},
pages = {358--364},
year = 2022,
website = {https://wal-lang.org},
pdf = {https://ics.jku.at/files/2022ASPDAC_WAL.pdf},
code = {https://github.com/ics-jku/wal},
doi = {10.1109/ASP-DAC52403.2022.9712600}
}
@inproceedings{KG:2021,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {{EPEX:} Processor Verification by Equivalent Program Execution},
booktitle = {ACM Great Lakes Symposium on VLSI (GLSVLSI)},
pages = {33--38},
year = 2021,
url = {https://ics.jku.at/files/2021GLSVLSI_EPEX.pdf},
doi = {10.1145/3453688.3461497}
}
@inproceedings{KFDG:2021,
author = {Lucas Klemmer and Saman Froehlich and Rolf Drechsler and Daniel Gro{\ss}e},
title = {{XbNN}: Enabling {CNNs} on Edge Devices by Approximate On-Chip Dot Product Encoding},
booktitle = {IEEE International Symposium on Circuits and Systems (ISCAS)},
pages = {1--5},
year = 2021,
url = {https://ics.jku.at/files/2021ISCAS_XbNN.pdf},
doi = {10.1109/ISCAS51556.2021.9401780}
}
@inproceedings{FKGD:2020,
author = {Saman Froehlich and Lucas Klemmer and Daniel Gro{\ss}e and Rolf Drechsler},
title = {{ASNet}: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks},
booktitle = {IEEE International Symposium on {M}ulti-{V}alued {L}ogic (ISMVL)},
pages = {64--69},
year = {2020},
url = {https://ics.jku.at/files/2020ISMVL_ASNet.pdf},
doi = {10.1109/ISMVL49045.2020.00-28}
}
@inproceedings{KG:2024b,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {{WSVA:} A {SystemVerilog Assertion} to {WAL} Compiler},
booktitle = {Workshop on Open-Source Design Automation},
year = 2024,
url = {https://ics.jku.at/files/2024OSDA_WSVA.pdf}
}
@inproceedings{KGG:2023,
author = {Lucas Klemmer and Sonja Gurtner and Daniel Gro{\ss}e},
title = {How We Learned to Stop Worrying and Build a {RISC-V VP} with only one Microcode Instruction},
booktitle = {ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV)},
year = 2023,
url = {https://ics.jku.at/files/2023MBMV_How-we-learned-to-stop-worrying-and-build-a-RISC-V-VP-with-only-one-microcode-instruction.pdf}
}
@inproceedings{KG:2023,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of {SERV}},
booktitle = {Workshop on Open-Source Design Automation},
year = 2023,
url = {https://ics.jku.at/files/2023OSDA_WAL-instruction-performance-SERV.pdf}
}
@inproceedings{KG:2022b,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {Programmable Waveform Analysis using the Domain Specific Language {WAL}},
booktitle = {ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV)},
year = 2022
}
@inproceedings{GK:2024,
author = {Daniel Gro{\ss}e and Lucas Klemmer},
booktitle = {Tutorial at DVCon Europe},
title = {Unleash the Full Potential of Your Waveforms: From Extra-functional Analysis to Functional Debug via Programs on Waveforms},
year = {2024}
}
@inproceedings{GK:2023,
author = {Daniel Gro{\ss}e and Lucas Klemmer},
title = {Get the Most out of Your Waveforms -- From Non-functional Analysis to Functional Debug via Programs on Waveforms},
booktitle = {Tutorial at Forum on specification \& Design Languages},
year = {2023}
}
@inproceedings{GKFG:2023,
author = {Sonja Gurtner and Lucas Klemmer and Mathias Fleury and Daniel Gro{\ss}e},
title = {Replacing {RISC-V} Instructions by Others},
booktitle = {Proc.~of {SAT Competition} 2023 -- Solver and Benchmark Descriptions},
year = 2023
}
@inproceedings{KG:2021c,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {Applying the Four-Eyes Principle to {RISC-V} Processor Verification by Equivalent Program Execution},
booktitle = {4th Workshop on {RISC-V} Activities},
year = {2021}
}
@inproceedings{KG:2021b,
author = {Lucas Klemmer and Daniel Gro{\ss}e},
title = {Programmable Waveform Analysis using {WAL}},
booktitle = {OpenTapeOut Conference},
year = {2021}
}