BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
G.Odawara O.Okuzawa I.Ogata J.Sato T.Yamamoto F.Sumikawa K.Hirano T.Ohta Z.Zhuang K.Hattori T.Hirata M.Ochiai
Talks about:
function (2) descript (2) multipl (2) logic (2) microprocessor (1) diagrammat (1) comparison (1) processor (1) interfac (1) silicon (1)

Person: Masahiro Tomita

DBLP DBLP: Tomita:Masahiro

Contributed to:

DAC 19941994
DAC 19881988
DAC 19861986
DAC 19851985
DAC 19841984

Wrote 5 papers:

DAC-1994-TomitaYSH #design #fault #logic #multi
Rectification of Multiple Logic Design Errors in Multiple Output Circuits (MT, TY, FS, KH), pp. 212–217.
DAC-1988-OdawaraTHOHO #compilation #interface
A Human Machine Interface for Silicon Compilation (GO, MT, KH, OO, TH, MO), pp. 115–120.
DAC-1986-OdawaraTOOZ #comparison #logic #verification
A logic verifier based on Boolean comparison (GO, MT, OO, TO, ZqZ), pp. 208–214.
DAC-1985-OdawaraTO #data flow #diagrams
Diagrammatic function description of microprocessor and data-flow processor (GO, MT, IO), pp. 731–734.
DAC-1984-OdawaraST #functional
A symbolic functional description language (GO, JS, MT), pp. 73–80.

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.