publication venue for
- The design of a genetic muller C-element 2007
- High level synthesis of timed asynchronous circuits 2005
- Synthesis of speed independent circuits based on decomposition 2004
- Synchronous interlocked pipelines 2002
- Efficient exact two-level hazard-free logic minimization 2001
- RAPPID: An asynchronous instruction length decoder 1999
- Verification of delayed-reset domino circuits using ATACS 1999