2009 Research Summary - Andreas Kuehlmann
Small Projects
- Automatic Clock Gate Synthesis
Aaron P. Hurst, Robert K. Brayton and Andreas Kuehlmann - Functional Symmetries and Their Uses in Optimization and Verification
Donald Chai and Andreas Kuehlmann - Stimulus Generation for Constrained Biased Random Simulation
Nathan Kitchen, Tobias Welp and Andreas Kuehlmann