You are about to access our book library "Electronic Design Automation Frameworks: Proceedings of the Second Ifip Wg 10.2 Worshop on Electronic Design Automation Frameworks, Charlottesville, full version" .