Nishimura Shunji

Formal Description of Synchronization by Functional Definition of Synchronous Circuits

Amagasaki Motoki, Sueyoshi Toshinori, Nishimura Shunji, 2016 .

A hardware description method and sematics providing a timing constrant

Amagasaki Motoki, Sueyoshi Toshinori, Nishimura Shunji, 2014 .

Formal Verification System of Multi-clock Synchronous Circuits on Multimodal Logic

Amagasaki Motoki, Sueyoshi Toshinori, Nishimura Shunji, 2014 .