Author:
Kitchen Nathan,Kuehlmann Andreas
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LLM-based Processor Verification: A Case Study for Neuromorphic Processor;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
2. Directed Test Generation for Hardware Validation: A Survey;ACM Computing Surveys;2024-01-12
3. Optimizing Constrained Random Verification with ML and Bayesian Estimation;2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD);2023-09-10
4. Simulated Learners in Educational Technology: A Systematic Literature Review and a Turing-like Test;International Journal of Artificial Intelligence in Education;2023-07-20
5. GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12