Logic design - Data processing.

Overview

Works:	13 works in 4 publications in 4 languages

Titles

Circuit synthesis with VHDL / by: (Language materials, printed)

Symbolic model checking / by: (Language materials, printed)

Timed Boolean functions : = a unified formalism for exact timing analysis / by: (Language materials, printed)

Computer aided logical design with emphasis on VLSI / by: (Language materials, printed)

Logic synthesis for low power VLSI designs / by: (Language materials, printed)

Logic synthesis and verification algorithms by: (Language materials, printed)

Advanced logic synthesis by: (Electronic resources)

Digital design techniques and exercises = a practice book for digital logic design / by: (Electronic resources)

Contemporary logic design / by: (Language materials, printed)

Advanced ASIC chip synthesis = using Synopsys Design Compiler, Physical Compiler, and PrimeTime / by: (Language materials, printed)

Subjects