High-level synthesis of synchronous pipelined circuits

As systems grow more complex and require better performance and enhanced reliability, the process of using existing design tools to build circuits becomes more complicated. Increased automation is desirable because it simplifies this process and holds out the promise of reducing the time and cost of developing circuits. We introduce a novel approach that relies heavily on compiler technology capable of delivering highly concurrent, synchronous implementations of circuits described using our method. We have designed a specification language which reflects our approach and implemented a compiler able to automatically synthesize efficient, fully pipelined circuits starting from high-level, asynchronous, modular specifications.

Autorentext

Maria-Cristina Marinescu has a PhD in Computer Science from University of California, Santa Barbara and spent 6 yearsat Massachusetts Institute of Technology as a Visiting Scholar and aPostdoctoral Fellow. She has a BS degree from the Politechnic Institute of Bucharest and is currently visiting faculty at University Carlos III in Madrid, Spain.