BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
N.Kawato T.Uehara F.Maruyama H.Sugimoto M.Yamazaki S.Hirose
Talks about:
system (3) design (3) logic (3) base (3) techniqu (2) synthesi (2) verif (2) interact (1) hardwar (1) circuit (1)

Person: Takao Saito

DBLP DBLP: Saito:Takao

Contributed to:

DAC 19861986
DAC 19821982
DAC 19811981
DAC 19791979

Wrote 5 papers:

DAC-1986-SaitoSYK #array #logic #rule-based #synthesis
A rule-based logic circuit synthesis system for CMOS gate arrays (TS, HS, MY, NK), pp. 594–600.
DAC-1982-KawatoUHS #interactive #logic #synthesis
An interactive logic synthesis system based upon AI techniques (NK, TU, SH, TS), pp. 858–864.
DAC-1982-MaruyamaUKS #design #hardware #verification
A verification technique for hardware designs (FM, TU, NK, TS), pp. 832–841.
DAC-1981-SaitoUK #design #logic
A CAD system for logic design based on frames and demons (TS, TU, NK), pp. 451–456.
DAC-1979-KawatoSMU #design #scalability #using #verification
Design and verification of large-scale computers by using DDL (NK, TS, FM, TU), pp. 360–366.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.