Volgen
Jiahui Xu
Jiahui Xu
ETH Zurich
Geverifieerd e-mailadres voor ethz.ch - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Eliminating excessive dynamism of dataflow circuits using model checking
J Xu, E Murphy, J Cortadella, L Josipovic
Proceedings of the 2023 ACM/SIGDA International Symposium on Field …, 2023
42023
Automatic inductive invariant generation for scalable dataflow circuit verification
J Xu, L Josipović
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
22023
Suppressing Spurious Dynamism of Dataflow Circuits via Latency and Occupancy Balancing
J Xu, L Josipović
Proceedings of the 2024 ACM/SIGDA International Symposium on Field …, 2024
2024
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3