Follow
Jiahui Xu
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–3