Formal equivalence checking and disign debugging

Uložené v:

Podrobná bibliografia
Hlavní autori:	Huang, Shi-Zu (Autor), Cheng, Kwang-Ting(Tim) (Autor)
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Boston : Kluwer Academic Publishers, 1998
Predmet:	logické obvody elektronické obvody verifikácia testovanie obvodov kombinačné obvody integrované obvody
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

View in STU Opac

Podobné jednotky: Formal equivalence checking and disign debugging

Quick Look
Logic synthesis for Asynchronous Controllers and Interfaces /
Quick Look
A unified approach for timing verification and delay faut testing
Quick Look
Digital logic and computer design /
Quick Look
Electronic logic systems /
Quick Look
Introduction to digital systems
Quick Look
Príspevky k teórii logických obvodov : Habil.práca : Obh. 21.11.1995 /
Quick Look
Logic synthesis and verification algorithms /
Quick Look
Logické systémy : Kombinančné obvody /
Quick Look
Oscillation-Based Test in Mixed-Signal Circuits /
Quick Look
Alternatívne metódy testovania integrovaných obvodov a systémov na čipe : Obh. 09.09.2003
Quick Look
On-chip power supply current monitoring of CMOS VLSI circuits = Testovanie CMOS VLSI obvodov monitorovaním prúdu z napájacieho zdroja priamo na čípe : Dizertačná práca : Obh. 22.05.1997 /
Quick Look
The expert systems for optimization of logic combinational circuits = Využitie expertných systémov logických kombimačných obvodov
Quick Look
Analogue - digital ASICs : circuit techniques, design tools and applications /
Quick Look
Testovanie a lokalizácia defektných částí zmiešaných integrovaných obvodov pomocou vstavaného IDD prúdového monitora : Č.ved.odb. 26-13-9. Dát. obhaj. 23.5.2008
Quick Look
Microelectronic devices and circuits /
Quick Look
CMOS Active Inductors and Transformers : Principle, Implementation, and Applications
Quick Look
CMOS Circuit Design, Layout, and Simulation
Quick Look
Field-programmable gate arrays : Reconfigurable logic for rapid prototyping and implementatiom of digital systems
Quick Look
Digital circuit design for computer science students : An introductory textbook /
Quick Look
Digital Circuit Analysis and Design with Simulink Modeling and Introduction to CPLDs and FPGAs
Quick Look
Model checking
Quick Look
Sequential logic testing and verification /
Quick Look
Field-programmable gate arrays /
Quick Look
Digitální technika /