BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
T.Uehara N.Kawato T.Saito
Talks about:
design (2) verif (2) techniqu (1) hardwar (1) comput (1) scale (1) larg (1) use (1) ddl (1)

Person: Fumihiro Maruyama

DBLP DBLP: Maruyama:Fumihiro

Contributed to:

DAC 19821982
DAC 19791979

Wrote 2 papers:

DAC-1982-MaruyamaUKS #design #hardware #verification
A verification technique for hardware designs (FM, TU, NK, TS), pp. 832–841.
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.