Trace theory for automatic hierarchical verification of speed-independent circuits /

Trace theory for automatic hierarchical verification of speed-independent circuits /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Dill, David L.
Ձևաչափ: Գիրք
Լեզու:English
Հրապարակվել է: Cambridge, Mass. : MIT Press, c1989.
Շարք:ACM distinguished dissertations
Խորագրեր:
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.

CARM 1 Store

Պահումների մանրամասները CARM 1 Store
Դասիչ: A2:AJ21E0 C04632
Պատճեն 1 Հասանելի է  Տեղադրեք պահում

Նմանատիպ նյութեր