Stefano Di Carlo, Giulio Gambardella, Marco Indaco, Daniele Rolfo, Paolo Prinetto. Validation & Verification of an EDA automated synthesis tool. In 6th IEEE International Design and Test Workshop, IDT 2011, Beirut, Lebanon, 11-14 December 2011. pages 48-52, IEEE, 2011. [doi]
Abstract is missing.