What You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications.

Simon Rokicki, Davide Pala, Joseph Paturel, Olivier Sentieys

Browse the full ICCAD paper archive.