-
Proceedings the European conference on design automation with the European event in ASIC design : 2.diel:The user forum and AUROASIC prizes sessions : Konf. EURO ASIC '93, Paris, France, 22.- 25. Feb. 1993 : Obs. 1.zv.:, 601 s.. 2.zv.:, 274 s
-
Algorithmic and register-transfer level synthesis:the system architect`s workbench /
-
High-level VLSI synthesis /
-
Integrated Circuits Design for High-speed Frequency Synthesis
-
Analogue - digital ASICs : circuit techniques, design tools and applications /
-
Introduction to digital microelectronic circuits
-
Symbolic model checking /
-
Principles of Model checking
-
Model checking
-
CMOS Circuit Design, Layout, and Simulation
-
Introduction to digital systems
-
System level hardware/software co-design : An industrial approach
-
Digitální technika /
-
The expert systems for optimization of logic combinational circuits = Využitie expertných systémov logických kombimačných obvodov
-
Phase-Locked Loop Engineering Handbook for Integrated Circuits
-
Microelectronic circuits /
-
Algorithms and parallel VLSI architectures : Konf. Proceedings of the International Workshop on Algorithms and Parallel VLSI Architectures , Abbaye des Prémontrés,Pont-aMousson, France, 10.- 16. June 1990 : Obs. Vol.A., Tutorials, 475 s.. Vol.B., Proceedings, 524 s /
-
Logic synthesis for Asynchronous Controllers and Interfaces /
-
Electronic logic systems /
-
Microelectronic devices and circuits /
-
BEC '96. The 5th biennial Baltic electronics conference : Proceedings : Konf. Tallinn, Estonia, 7.- 11. Oct. 1996
-
VHDL: a logic synthesis approach /
-
Behavioral synthesis and component reuse with VHDL /
-
Gallium arsenide digital integrated circuit design /