Hardware synthesis from protocol specifications in LOTOS.

Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Browse the full FORTE paper archive.