|
In January 2009 I have graduated with a Ph.D. in computer engineering from the Asynchronous Circuits & Systems Group @ the ECE
department of College of Engineering
@ Boston University.
I have been working on automatic synthesis of Quasi-Delay Insensitive (QDI) micropipelines for large industrial high-level behavioral specifications. Weaver is the EDA synthesis flow I have been developing.
My research interests include but are not limited to:
- EDA: algorithms, languages, specification formalisms, architectures, ESL;
- asynchronous circuits: synthesis, verification, test and applications;
- timed systems' verification;
- Petri nets, STG, unfoldings;
Some of my projects @ BU
- Weaver - asynchronous pipeline synthesis flow (the topic of my PhD research)
- asyncEDA.com - a future home for everybody interested in self-timed circuits design. I work on it when I get a chance. Weaver updates and documentation will soon be available there along with a forum, links and other information.
Some of the past projects
- GenSync - extensible framework for data reconciliation (side project)
- TaxoSynthesis - a tool for asynchronous speed-independent circuits synthesis from STG specifications
- TranSyt - a tool for the verification of asynchronous concurrent timed systems
Publications and workshop presentations
|
|
