Akira Kitajima

According to our database, Akira Kitajima authored at least 7 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Verification Challenges in Configurable Processor Design with ASIP Meister.

Masaharu Imai, Akira Kitajima

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2002

Design of Application Specific CISC Using PEAS-III.

Akira Kitajima, Toshiyuki Sasaki, Yoshinori Takeuchi, Masaharu Imai

Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP 2002), 2002

2001

Formal Verification of CPU in Laboratory Work.

Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

Effectiveness of the ASIP design system PEAS-III in design of pipelined processors.

Akira Kitajima, Makiko Itoh, Jun Sato, Akichika Shiomi, Yoshinori Takeuchi, Masaharu Imai

Proceedings of ASP-DAC 2001, 2001

2000

PEAS-III: An ASIP Design Environment.

Makiko Itoh, Shigeaki Higaki, Yoshinori Takeuchi, Akira Kitajima, Masaharu Imai, Jun Sato, Akichika Shiomi

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.

Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 37th Conference on Design Automation, 2000

1998

Hardware synthesis from protocol specifications in LOTOS.

Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the Formal Description Techniques and Protocol Specification, 1998