BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
N.Ishiura S.Yajima
Talks about:
time (2) asynchron (1) behavior (1) circuit (1) symbol (1) verif (1) simul (1) logic (1) accur (1)

Person: Mizuki Takahashi

DBLP DBLP: Takahashi:Mizuki

Contributed to:

DAC 19891989

Wrote 1 papers:

DAC-1989-IshiuraTY #behaviour #logic #simulation #verification
Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits (NI, MT, SY), pp. 497–502.

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.