Concepedia

Nobuaki Kawato

NK

8

Publications

383

Citations

8

H-Index

1979

Active since

Affiliations

Fujitsu (Japan)(Current)

Nobuaki Kawato is an author at Fujitsu (Japan) specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer EngineeringComputer ScienceFormal VerificationSoftware DesignComputer ArchitectureElectronic Design AutomationVerificationSystem Software

Publications per year

1979–2003

8

Publications

8

Evaluation and improvement of Boolean comparison method based on binary decision diagrams

Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato · 2003 · 266 citations

Circuit Complexity, Engineering, Boolean Function +19

An object-oriented database system Jasmine: implementation, application, and extension

Hiroshi Ishikawa, Yasuo Yamane, Y. Izumida et al. · IEEE Transactions on Knowledge and Data Engineering · 1996 · 33 citations

Software Maintenance, Engineering, Software Engineering +20

Design and Verification of Large-Scale Computers by Using DDL

Nobuaki Kawato, Takao Saito, Fumihiro Maruyama et al. · Design Automation Conference · 1979 · 21 citations

Hardware Modeling, Engineering, Hardware Verification Language +19

A method to generate tests for combinational logic circuits using an ultrahigh-speed logic simulator

Fumiyasu Hirose, K. Takayama, Nobuaki Kawato · 2003 · 15 citations

Engineering, Computer Architecture, Test Data Generation +21

Design and Verification of Large-Scale Computers by Using DDL

Nobuaki Kawato, T. Saito, F. Maruyama et al. · 1979 · 15 citations

Hardware Modeling, Engineering, Hardware Verification Language +19

Rows per page

1–5 of 8