Concepedia

Takao Saito

TS

2

Publications

34

Citations

2

H-Index

1979

Active since

Affiliations

Fujitsu (Japan)(Current)

Takao Saito is an author at Fujitsu (Japan) specializing in formal methods, computer engineering, and formal verification.

Top concepts

EngineeringFormal MethodsSoftware DesignFormal VerificationComputer EngineeringElectronic Design AutomationDesignLogic DesignVerificationDigital Design

Publications per year

1979–1981

2

Publications

2

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 CAD System for Logic Design Based on Frames and Demons

Takao Saito, Takao Uehara, Nobuaki Kawato · Design Automation Conference · 1981 · 13 citations

Engineering, Electronic Design Automation, Cad System +24

Rows per page

1–2 of 2