63 citations · 82 across the 15 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design
Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha +1
Exhaustive testing of high-level designs pose an arduous challenge due to complex branching conditions, loop structures and inherent concurrency of hardware designs. Test engineers…
cs.LG2022★ 1 cited
Too Big to Fail? Active Few-Shot Learning Guided Logic Synthesis
Animesh Basak Chowdhury, Benjamin Tan, Ryan Carey +3
Generating sub-optimal synthesis transformation sequences ("synthesis recipe") is an important problem in logic synthesis. Manually crafted synthesis recipes have poor quality. Sta…