Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platformsDebapriya ChatterjeeBiruk Mammoet al.2013ICCAD 2013
Report on First and Second ACM/IEEE Workshop on Machine Learning for CAD (MLCAD)Marilyn WolfJorg Henkelet al.2021IEEE Design and Test
How to catch a lion in the desert: on the solution of the coverage directed generation (CDG) problemRaviv GalEldad Haberet al.2020Optimization and Engineering