Andreas Kuehlmann

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
Area:
Design, Modeling and Analysis (DMA)
Google:
"Andreas Kuehlmann"
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Welp T, Kuehlmann A. (2014) Property directed invariant refinement for program verification Proceedings -Design, Automation and Test in Europe, Date
Welp T, Kuehlmann A. (2014) Property Directed Reachability for QF-BV with mixed type atomic reasoning units Proceedings of the Asia and South Pacific Design Automation Conference, Asp-Dac. 738-743
Welp T, Kuehlmann A. (2013) QF-BV model checking with property directed reachability Proceedings -Design, Automation and Test in Europe, Date. 791-796
Welp T, Krishnaswamy S, Kuehlmann A. (2012) Generalized SAT-sweeping for post-mapping optimization Proceedings - Design Automation Conference. 814-819
Welp T, Kitchen N, Kuehlmann A. (2012) Hardware acceleration for constraint solving for random simulation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 31: 779-789
Färm P, Dubrova E, Kuehlmann A. (2011) Integrated logic synthesis using simulated annealing Proceedings of the Acm Great Lakes Symposium On Vlsi, Glsvlsi. 407-410
Zhu Q, Kitchen NB, Kuehlmann A, et al. (2011) SAT sweeping with local observability don't-cares Advanced Techniques in Logic Synthesis, Optimizations and Applications. 129-148
Puggelli A, Welp T, Kuehlmann A, et al. (2011) Are logic synthesis tools robust? Proceedings - Design Automation Conference. 633-638
Welp T, Kuehlmann A. (2011) An approach for dynamic selection of synthesis transformations based on Markov decision processes Proceedings -Design, Automation and Test in Europe, Date. 1533-1536
Kuehlmann A, Camposano R, Colgan J, et al. (2010) Does IC design have a future in the clouds? Proceedings - Design Automation Conference. 412-414
See more...