Suivre
Jiahui Xu
Jiahui Xu
ETH Zurich
Adresse e-mail validée de ethz.ch - Page d'accueil
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3