A design procedure for and an analysis of quasi-synchronous digital machines — ReaderExpo