Obserwuj
Jiahui Xu
Tytuł
Cytowane przez
Cytowane przez
Rok
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–3