Behavioral synthesis of asynchronous systems: a methodology.

J. O. Dedou, Daniel Chillet, Olivier Sentieys

Browse the full ISCAS paper archive.